UPPAAL

<body> UPPAAL is an integrated tool environment for modeling, validation and verification of real-time system modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). <br /> </body>