Verification of scope-dependent hierarchical state machines

DOI10.1016/J.IC.2008.03.017MaRDI QIDQ948087zbMATH OpenOpenAlexFDO

Authors Salvatore La Torre, Margherita Napoli, Gennaro Parlato, Mimmo Parente

Publication date 8 October 2008

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/272463/1/sdarticle.pdf

zbMATH Keywords

model checkingautomatatemporal logichierarchical state machines

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1754627
• Formal analysis of hierarchical state machines
• scientific article; zbMATH DE number 2102724
• scientific article; zbMATH DE number 1852146
• Verification of hierarchical state/Event systems using reusability and compositionality
• scientific article; zbMATH DE number 1544531
• Publication:4934532
• Verification, Model Checking, and Abstract Interpretation
• Verification of well-formed communicating recursive state machines

Cites work

• scientific article; zbMATH DE number 1633145 (Why is no real title available?)
• scientific article; zbMATH DE number 1670555 (Why is no real title available?)
• scientific article; zbMATH DE number 1670783 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1956593 (Why is no real title available?)
• scientific article; zbMATH DE number 2038754 (Why is no real title available?)
• scientific article; zbMATH DE number 1903363 (Why is no real title available?)
• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• Automata-theoretic techniques for modal logics of programs
• Computer Aided Verification
• Mathematical Foundations of Computer Science 2004
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(9)

• Verification of hierarchical state/Event systems using reusability and compositionality
• Formal analysis of hierarchical state machines
• Improved model checking of hierarchical systems
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• scientific article; zbMATH DE number 1754627 (Why is no real title available?)
• Verification of well-formed communicating recursive state machines
• scientific article; zbMATH DE number 1670783 (Why is no real title available?)
• scientific article; zbMATH DE number 2038754 (Why is no real title available?)
• Visibly pushdown modular games

Describes a project that uses

Uses Software

• Bebop

This page was built for publication: Verification of scope-dependent hierarchical state machines

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