uppaal-4.0.13
.............\lib
.............\...\jdom.jar
.............\...\jlfgr-1_0.jar
.............\...\model.jar
.............\...\jh.jar
.............\...\editor.jar
.............\...\swixml.jar
.............\man
.............\...\man1
.............\...\....\uppaal.1
.............\demo
.............\....\fischer.q
.............\....\train-gate.xml
.............\....\fischer_symmetry.q
.............\....\interrupt.q
.............\....\bridge.q
.............\....\2doors.q
.............\....\fischer.xml
.............\....\fischer_symmetry.xml
.............\....\train-gate.q
.............\....\bridge.xml
.............\....\interrupt.xml
.............\....\2doors.xml
.............\uppaal.jar
.............\bin-Linux
.............\.........\verifyta
.............\.........\server
.............\bin-Win32
.............\.........\verifyta.exe
.............\.........\server.exe
.............\readme.txt
.............\uppaal