visualSTATE

swMATH7481MaRDI QIDQ19511

No author found.

Described by source

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

Related Items (6)

Unnamed Item ⋮ An automatic method for the dynamic construction of abstractions of states of a formal model ⋮ Verification of hierarchical state/Event systems using reusability and compositionality ⋮ Unnamed Item ⋮ Compositional SCC analysis for language emptiness ⋮ On-line monitoring of large Petri net models under partial observation

This page was built for software: visualSTATE