Structural model checking for communicating hierarchical machines

DOI10.1007/978-3-540-28629-5_40MaRDI QIDQ5311127zbMATH OpenOpenAlexFDO

Authors Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99679

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking hierarchical structures
• Fundamental Approaches to Software Engineering
• Improved model checking of hierarchical systems
• Improved model checking of hierarchical systems
• Applications of hierarchical verification in model checking
• Model checking of unrestricted hierarchical state machines
• Symbolic and structural model-checking
• Exploiting behavioral hierarchy for efficient model checking
• Model checking logics for communicating sequential agents
• Incremental model checking for decomposable structures

Cited in

(7)

• Improved model checking of hierarchical systems
• Improved model checking of hierarchical systems
• scientific article; zbMATH DE number 2064468 (Why is no real title available?)
• Model checking of unrestricted hierarchical state machines
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• Verification, Model Checking, and Abstract Interpretation
• Verification of scope-dependent hierarchical state machines

This page was built for publication: Structural model checking for communicating hierarchical machines

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