Applications of hierarchical verification in model checking

DOI10.1007/3-540-44798-9_3MaRDI QIDQ4787212zbMATH OpenFDO

Authors Robert Beers, Rajnish Ghughal, Mark D. Aagaard

Publication date 9 January 2003

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/2144/21440040

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Applications of hierarchical reasoning in the verification of complex systems
• Model-checking hierarchical structures
• Improved model checking of hierarchical systems
• Improved model checking of hierarchical systems
• Hierarchical reasoning for the verification of parametric systems
• Exploiting hierarchical structure for efficient formal verification
• Higher-order model checking: an overview

Cited in

(4)

• Higher-order program verification via HFL model checking
• scientific article; zbMATH DE number 5636822 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2004
• Verification of scope-dependent hierarchical state machines

This page was built for publication: Applications of hierarchical verification in model checking

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