scientific article; zbMATH DE number 1759610
From MaRDI portal
Publication:4536601
zbMATH Open0999.68524MaRDI QIDQ4536601FDOQ4536601
Glenn Bruns, Patrice Godefroid
Publication date: 28 November 2002
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (29)
- Computation tree logic model checking based on multi-valued possibility measures
- Modal transition systems with weight intervals
- Model checking of linear-time properties in multi-valued systems
- Model Checking Value-Passing Modal Specifications
- Falsifying Safety Properties Through Games on Over-approximating Models
- Data structures for symbolic multi-valued model-checking
- 3-valued abstraction: More precision at less cost
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design
- Multi-robot LTL planning under uncertainty
- A semantic framework for the abstract model checking of tccp programs
- Three-valued temporal logic \(Q_t\) and future contingents
- Model Checking for Action Abstraction
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications
- Better Under-Approximation of Programs by Hiding Variables
- A local approach for temporal model checking of Java bytecode
- On finite-state approximants for probabilistic computation tree logic
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Complexity of Decision Problems for Mixed and Modal Specifications
- Comparing disjunctive modal transition systems with an one-selecting variant
- On the consistency, expressiveness, and precision of partial modeling formalisms
- On the complexity of semantic self-minimization
- On model checking multiple hybrid views
- Compositional Specification in Rewriting Logic
- GSTE is partitioned model checking
- Bounded Model Checking for Partial Kripke Structures
- Abstraction and Abstraction Refinement
- Model-Checking View-Based Partial Specifications
- More Precise Partition Abstractions
- TOrPEDO : witnessing model correctness with topological proofs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536601)
