diff options
| author | vs <vs@FreeBSD.org> | 2005-11-16 17:25:52 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-11-16 17:25:52 +0800 |
| commit | a1565bb5d81e353d41fc94e2818baad42ef1edbb (patch) | |
| tree | 31ecf971cccb46e6ca85b189ec19571378543bcc /devel/Makefile | |
| parent | 6bef3396398643c64c9c3ae895ea98789ef91714 (diff) | |
| download | freebsd-ports-gnome-a1565bb5d81e353d41fc94e2818baad42ef1edbb.tar.gz freebsd-ports-gnome-a1565bb5d81e353d41fc94e2818baad42ef1edbb.tar.zst freebsd-ports-gnome-a1565bb5d81e353d41fc94e2818baad42ef1edbb.zip | |
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
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 2677a84709e9..86c305128d46 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1611,6 +1611,7 @@ SUBDIR += uclmmbase SUBDIR += ucpp SUBDIR += upnp + SUBDIR += uppaal SUBDIR += ups-debug SUBDIR += ustl SUBDIR += valgrind |