Compositional and quantitative model checking (extended abstract)

DOI10.1007/978-3-642-11486-1_3MaRDI QIDQ3402273zbMATHOpenAlexFDO

Authors Kim G. Larsen

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11486-1_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4180789
• scientific article; zbMATH DE number 1670789
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Compositionality and locality for improving model checking in the selective mu-calculus

Cited in

(18)

• CSL model checking algorithms for QBDs
• scientific article; zbMATH DE number 7333237 (Why is no real title available?)
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• Computer Aided Verification
• The compositional method and regular reachability
• Compositional model checking with incremental counter-example construction
• A quantitative partial model-checking function and its optimisation
• Compositional branching-time measurements
• Model checking quantitative hyperproperties
• Incremental model checking for decomposable structures
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• scientific article; zbMATH DE number 1670789 (Why is no real title available?)
• “ReLIC: Reduced Logic Inference for Composition” for Quantifier Elimination based Compositional Reasoning
• Formula-dependent equivalence for compositional CTL model checking
• Compositionality and locality for improving model checking in the selective mu-calculus
• Automatic Synthesis of Assumptions for Compositional Model Checking
• Compositional failure detection in structured transition systems

This page was built for publication: Compositional and quantitative model checking (extended abstract)

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