Verification of hierarchical state/Event systems using reusability and compositionality

DOI10.1023/A:1016095519611zbMath1019.68060OpenAlexW1665427831MaRDI QIDQ698109

Gerd Behrmann, Kim Guldstrand Larsen, Jørn Lind-Nielsen, Henrik Hulgaard, Henrik Reif Andersen

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

verificationcompositionalityhierarchystate charts

Mathematics Subject Classification ID

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

Uses Software

• visualSTATE

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