notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
All times are UTC
non port: devel/uppaal/pkg-descr

Number of commits found: 1

Wed, 16 Nov 2005
[ 09:25 vs search for other commits by this committer ] Original commit 
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.).

The tool is developed in collaboration between the Department of
Information Technology at Uppsala University, Sweden and the
Department of Computer Science at Aalborg University in Denmark.


PR:             ports/84975
Submitted by:   Timothy Bourke

Number of commits found: 1