Compositional and Quantitative Model Checking (Extended Abstract)

DOI10.1007/978-3-642-11486-1_3zbMath1274.68196OpenAlexW1557994546MaRDI QIDQ3402273

Kim Guldstrand 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)

Related Items (2)

CSL model checking algorithms for QBDs ⋮ Computer Aided Verification

This page was built for publication: Compositional and Quantitative Model Checking (Extended Abstract)