Compositional and quantitative model checking (extended abstract)

DOI10.1007/978-3-642-11486-1_3zbMATH Open1274.68196OpenAlexW1557994546MaRDI QIDQ3402273FDOQ3402273

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

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

Mathematics Subject Classification ID

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

Cited In (16)

• Model checking quantitative hyperproperties
• Incremental model checking for decomposable structures
• Title not available (Why is that?)
• Compositional failure detection in structured transition systems
• Title not available (Why is that?)
• 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
• CSL model checking algorithms for QBDs
• Title not available (Why is that?)
• Computer Aided Verification
• Compositional branching-time measurements
• 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
• The compositional method and regular reachability
• A quantitative partial model-checking function and its optimisation

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)