mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-16 03:24:07 +00:00
da59b4c557
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
26 lines
985 B
Plaintext
26 lines
985 B
Plaintext
bin/uppaal
|
|
bin/verifyta
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jhbasic.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xalan.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xercesImpl.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xmlParserAPIs.jar
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.xml
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.q
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.xml
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.q
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.xml
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.q
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.xml
|
|
%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.q
|
|
%%DOCSDIR%%/README
|
|
%%DOCSDIR%%/License-ASF
|
|
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/demo
|
|
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib
|
|
@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%
|
|
@dirrm %%DOCSDIR%%
|