UPPAAL
Posted on April 15th, 2007 by amutiara
Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg University in Denmark and the Department of Information Technology at Uppsala University in Sweden. It is appropriate for systems that can be modeled as a collection of non-deterministic processes with finite [...]
Comments Off
Filed under: Modeling and Simulation