Coarse-granular model checking in practice

DOI10.1007/3-540-45139-0_20MaRDI QIDQ4531767zbMATH OpenFDO

Authors Bernhard Steffen, Tiziana Margaria, Volker Braun

Publication date 23 May 2002

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/2057/20570304

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Model-checking. A tutorial introduction
• scientific article; zbMATH DE number 910719
• Model-checking for probabilistic real-time systems
• scientific article; zbMATH DE number 2080188
• Model checking for performability

This page was built for publication: Coarse-granular model checking in practice

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