Faster SPDL Model Checking Through Property-Driven State Space Generation

DOI10.1007/978-3-540-75211-0_7MaRDI QIDQ3522090zbMATH OpenOpenAlexFDO

Authors Matthias Kuntz, B. R. Haverkort

Publication date 28 August 2008

Published in Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75211-0_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model Checking Software
• Stochastic model checking
• Model checking probabilistic systems
• scientific article; zbMATH DE number 176728
• scientific article; zbMATH DE number 1884410

Cited in

(1)

• Model Checking Software

This page was built for publication: Faster SPDL Model Checking Through Property-Driven State Space Generation

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