The tool Kronos

Both approaches presented in this paper considerably improve Kronos performance and functionalities. Forward analysis permits handling examples with a large number of clocks, as the example of the FDDI protocol shows: up to 25 clocks, which, to our knowledge, exceeds the clock-space dimension of sim...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Daws, C., Olivero, A., Tripakis, S., Yovine, S.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Discrete Transition Minimal Model Model Check Simulation Graph Symbolic State
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!