Verification of hierarchical state/Event systems using reusability and compositionality

DOI10.1023/A:1016095519611zbMATH Open1019.68060OpenAlexW1665427831MaRDI QIDQ698109FDOQ698109

Authors: Gerd Behrmann, Kim G. Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen 

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016095519611

Recommendations

• Improved model checking of hierarchical systems
• scientific article; zbMATH DE number 1670783
• Improved model checking of hierarchical systems
• Verification of scope-dependent hierarchical state machines

zbMATH Keywords

verificationhierarchycompositionalitystate charts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Verification of scope-dependent hierarchical state machines

Uses Software

• visualSTATE

This page was built for publication: Verification of hierarchical state/Event systems using reusability and compositionality

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