On model checking durational Kripke structures

DOI10.1007/3-540-45931-6_19MaRDI QIDQ4738231zbMATH OpenFDO

Authors François Laroussinie, Nicolas Markey, Philippe Schnoebelen

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030264.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking modal transition systems using Kripke structures
• Bounded Model Checking for Partial Kripke Structures
• Complexity of model checking for logics over Kripke models
• Durations and parametric model-checking in timed automata
• A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems
• Symbolic Model Checking of Tense Logics on Rational Kripke Models
• Model checking for nondeterministic multi-valued Kripke structures
• Bounded model-checking of discrete duration calculus
• Model-checking dense-time duration calculus
• Model checking duration calculus: a practical approach

Cited in

(9)

• On the expressivity and complexity of quantitative branching-time temporal logics
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Modeling and querying biomolecular interaction networks
• Efficient timed model checking for discrete-time systems
• Parameterized model checking of weighted networks
• Parameter Synthesis for Timed Kripke Structures
• A new model for model checking: cycle-weighted Kripke structure
• Symbolic Model Checking of Tense Logics on Rational Kripke Models
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS

This page was built for publication: On model checking durational Kripke structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738231)