Kronos: A model-checking tool for real-time systems

Kronos is a software tool aiming at assisting designers of real-time systems to develop projects meeting the specified requirements.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Binary Decision Diagram Computer Science Computer science control theory systems Computer systems and distributed systems. User interface Embedded Systems European Contract Exact sciences and technology Liveness Property Reachability Graph Software Symbolic Model Check
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Kronos is a software tool aiming at assisting designers of real-time systems to develop projects meeting the specified requirements.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/BFb0028779