Verification of scope-dependent hierarchical state machines

DOI10.1016/j.ic.2008.03.017zbMath1147.68051OpenAlexW2105273466MaRDI QIDQ948087

Gennaro Parlato, Margherita Napoli, Salvatore La Torre

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

automatamodel checkingtemporal logichierarchical state machines

Mathematics Subject Classification ID

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

Related Items (2)

Improved model checking of hierarchical systems ⋮ Visibly pushdown modular games

Uses Software

• Bebop

Cites Work

• Automata-theoretic techniques for modal logics of programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Mathematical Foundations of Computer Science 2004
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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