Model checking with formula-dependent abstract models

DOI10.1007/3-540-44585-4_14MaRDI QIDQ4551147zbMATH OpenFDO

Authors Alexander Asteroth, Ulrich Aßmann, Christel Baier

Publication date 4 September 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/2102/21020155

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2110619
• Refining and compressing abstract model checking
• scientific article; zbMATH DE number 1863177
• scientific article; zbMATH DE number 898449
• scientific article; zbMATH DE number 1948409

Cited in

(8)

• A generalized semantics of PROMELA for abstract model checking
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Model Checking LTL Formulae in RAISE with FDR
• scientific article; zbMATH DE number 1948409 (Why is no real title available?)
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• scientific article; zbMATH DE number 2090155 (Why is no real title available?)
• Computer Aided Verification
• Formula-dependent equivalence for compositional CTL model checking

This page was built for publication: Model checking with formula-dependent abstract models

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