Verification of scope-dependent hierarchical state machines
From MaRDI portal
Publication:948087
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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (2)
Uses Software
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