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

Full description

Bibliographic Details

Published in:	Software, practice & experience Vol. 41; no. 2; pp. 133 - 142
Main Authors:	Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Format:	Journal Article
Language:	English
Published:	01.02.2011
ISSN:	0038-0644, 1097-024X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!