Developing U PPAAL over 15 years

U PPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software, practice & experience Jg. 41; H. 2; S. 133 - 142
Hauptverfasser:	Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.02.2011
ISSN:	0038-0644, 1097-024X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!