visualSTATE

MaRDI QIDQ19511swMATHFDO

Official website http://www.iar.com/Products/IAR-visualSTATE/

Described by source

• Verification of large state/event systems using compositionality and dependency analysis

Cited in

(9)

• scientific article; zbMATH DE number 2102715 (Why is no real title available?)
• Verification of hierarchical state/Event systems using reusability and compositionality
• An automatic method for the dynamic construction of abstractions of states of a formal model
• Compositional SCC analysis for language emptiness
• On-line monitoring of large Petri net models under partial observation
• scientific article; zbMATH DE number 1693529 (Why is no real title available?)
• APS-1
• APS
• VIS

This page was built for software: visualSTATE