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...

Celý popis

Podrobná bibliografia

Vydané v:	Software, practice & experience Ročník 41; číslo 2; s. 133 - 142
Hlavní autori:	Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	01.02.2011
ISSN:	0038-0644, 1097-024X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!