Exploiting behavioral hierarchy for efficient model checking

DOI10.1007/3-540-45657-0_25MaRDI QIDQ4804906zbMATH OpenFDO

Authors Michael McDougall, Zijiang Yang, Rajeev Alur

Publication date 1 May 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/2404/24040338.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Exploiting hierarchical structure for efficient formal verification
• On the model checking of a system consisting of many similar components
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 2087639

Cited in

(14)

• A framework for specifying and verifying the behaviour of open systems
• A comparative study of formal verification techniques for software architecture specifications
• A two-level approach based on model checking to support architecture conformance checking
• Nested-unit Petri nets
• Towards deriving test sequences by model checking
• On the model checking of a system consisting of many similar components
• scientific article; zbMATH DE number 5547974 (Why is no real title available?)
• Industrial applications of model checking
• Exploiting hierarchical structure for efficient formal verification
• Applying software model checking techniques for behavioral UML models
• scientific article; zbMATH DE number 2112452 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2004
• Verification of scope-dependent hierarchical state machines
• Information flow analysis of scientific workflows

Describes a project that uses

Uses Software

• SLAM
• Bandera

This page was built for publication: Exploiting behavioral hierarchy for efficient model checking

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