visualSTATE

swMATH7481MaRDI QIDQ19511FDOQ19511

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• APS-1
• APS
• VIS

This page was built for software: visualSTATE