Verification of scope-dependent hierarchical state machines

DOI10.1016/J.IC.2008.03.017zbMATH Open1147.68051OpenAlexW2105273466MaRDI QIDQ948087FDOQ948087

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata-theoretic techniques for modal logics of programs
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical Foundations of Computer Science 2004
• Verification, Model Checking, and Abstract Interpretation

Cited In (9)

• Formal analysis of hierarchical state machines
• Verification of hierarchical state/Event systems using reusability and compositionality
• Improved model checking of hierarchical systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification of well-formed communicating recursive state machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visibly pushdown modular games

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)