scientific article; zbMATH DE number 1759610

zbMATH Open0999.68524MaRDI QIDQ4536601FDOQ4536601

Authors: Glenn Bruns, Patrice Godefroid 

Publication date: 28 November 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (34)

• Computation tree logic model checking based on multi-valued possibility measures
• Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL
• Mixed Transition Systems Revisited
• Modal transition systems with weight intervals
• Model checking of linear-time properties in multi-valued systems
• LTL Generalized Model Checking Revisited
• Model Checking Value-Passing Modal Specifications
• Model-checking view-based partial specifications
• Data structures for symbolic multi-valued model-checking
• 3-valued abstraction: More precision at less cost
• 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
• 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
• Abstraction and abstraction refinement
• On model checking multiple hybrid views
• GSTE is partitioned model checking
• Falsifying safety properties through games on over-approximating models
• Symbolic Model Checking of Tense Logics on Rational Kripke Models
• Integrating topological proofs with model checking to instrument iterative design
• Bounded Model Checking for Partial Kripke Structures
• EXPTIME-complete decision problems for modal and mixed specifications
• Model checking of reachability problems based on generalized possibility measures
• More Precise Partition Abstractions
• TOrPEDO : witnessing model correctness with topological proofs
• Compositional specification in rewriting logic

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)