UPPAAL
Contact owners and managers
uppaal@googlegroups.com
Description
The purpose of this forum is to discuss UPPAAL use cases and issues.
Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Anyone on the web
can post
Anyone on the web
can join group