1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-29 05:38:00 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
Volker Stolz
ca9f7390f7 Fix IGNORE[a]nce if distfile has not yet been downloaded 2005-12-08 14:02:20 +00:00
Volker Stolz
da59b4c557 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.

WWW: http://www.uppaal.com/

PR:		ports/84975
Submitted by:	Timothy Bourke
2005-11-16 09:25:52 +00:00