kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/devel/uppaal/pkg-plist

32 lines
1 KiB
Text
Raw Normal View History

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 10:25:52 +01:00
bin/uppaal
bin/verifyta
- Update to 4.0.2 PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2006-09-15 11:07:16 +02:00
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/editor.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jdom.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jh.jar
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 10:25:52 +01:00
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar
- Update to 4.0.2 PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2006-09-15 11:07:16 +02:00
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_api.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_ri.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar
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 10:25:52 +01:00
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta
- Update to 4.0.2 PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2006-09-15 11:07:16 +02:00
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal.jar
%%EXAMPLESDIR%%/2doors.xml
%%EXAMPLESDIR%%/2doors.q
%%EXAMPLESDIR%%/bridge.xml
%%EXAMPLESDIR%%/bridge.q
%%EXAMPLESDIR%%/fischer.xml
%%EXAMPLESDIR%%/fischer.q
%%EXAMPLESDIR%%/fischer_symmetry.xml
%%EXAMPLESDIR%%/fischer_symmetry.q
%%EXAMPLESDIR%%/interrupt.xml
%%EXAMPLESDIR%%/interrupt.q
%%EXAMPLESDIR%%/train-gate.xml
%%EXAMPLESDIR%%/train-gate.q
@dirrm %%EXAMPLESDIR%%
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 10:25:52 +01:00
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%
- Update to 4.0.2 PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2006-09-15 11:07:16 +02:00
%%PORTDOCS%%%%DOCSDIR%%/README
%%PORTDOCS%%@dirrm %%DOCSDIR%%
Reference in a new issue Copy permalink