Verification of hierarchical state/Event systems using reusability and compositionality

DOI10.1023/A:1016095519611MaRDI QIDQ698109zbMATHOpenAlexFDO

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

zbMATH Keywords

verificationhierarchycompositionalitystate charts

Mathematics Subject Classification ID

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

Recommendations

• Improved model checking of hierarchical systems
• Publication:2754091
• Improved model checking of hierarchical systems
• Verification of scope-dependent hierarchical state machines

Cited in

(1)

• Verification of scope-dependent hierarchical state machines

Describes a project that uses

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)