scientific article; zbMATH DE number 1759610

MaRDI QIDQ4536601zbMATH OpenFDO

Authors Glenn Bruns, Patrice Godefroid

Publication date 28 November 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 2102712
• Bounded Model Checking for Partial Kripke Structures
• On the complexity of semantic self-minimization
• From Model Checking to a Temporal Proof for Partial Models
• On the consistency, expressiveness, and precision of partial modeling formalisms

Cited in

(34)

• Comparing disjunctive modal transition systems with an one-selecting variant
• Computation tree logic model checking based on multi-valued possibility measures
• Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL
• 3-valued abstraction: More precision at less cost
• A local approach for temporal model checking of Java bytecode
• LTL Generalized Model Checking Revisited
• On finite-state approximants for probabilistic computation tree logic
• Falsifying safety properties through games on over-approximating models
• Model Checking Value-Passing Modal Specifications
• Three-valued temporal logic \(Q_t\) and future contingents
• Mixed Transition Systems Revisited
• Model checking of reachability problems based on generalized possibility measures
• 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
• On the consistency, expressiveness, and precision of partial modeling formalisms
• EXPTIME-complete decision problems for modal and mixed specifications
• Data structures for symbolic multi-valued model-checking
• Multi-robot LTL planning under uncertainty
• Bounded Model Checking for Partial Kripke Structures
• TOrPEDO : witnessing model correctness with topological proofs
• On the complexity of semantic self-minimization
• More Precise Partition Abstractions
• Model-checking view-based partial specifications
• Abstraction and abstraction refinement
• Model Checking for Action Abstraction
• Better Under-Approximation of Programs by Hiding Variables
• Compositional specification in rewriting logic
• Modal transition systems with weight intervals
• Model checking of linear-time properties in multi-valued systems
• A semantic framework for the abstract model checking of tccp programs
• Symbolic Model Checking of Tense Logics on Rational Kripke Models
• GSTE is partitioned model checking
• On model checking multiple hybrid views
• Integrating topological proofs with model checking to instrument iterative design

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)