資源簡介
UPPAAL 是由瑞典的Uppsala 大學與丹麥的Aalborg
大學聯(lián)合研發(fā)的一種自動驗證工具, 主要對實時系統(tǒng)
模擬、仿真和驗證, 已成功地用于實時控制器和通信
協(xié)議的驗證
代碼片段和文件信息
?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\
?????文件?????????893??2014-02-04?16:45??uppaal-4.0.14\uppaal
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\demo\
?????文件?????????419??2014-02-04?16:45??uppaal-4.0.14\demo\fischer.q
?????文件????????1349??2014-02-04?16:45??uppaal-4.0.14\demo\train-gate.q
?????文件????????1665??2014-02-04?16:45??uppaal-4.0.14\demo\fischer_symmetry.xml
?????文件????????3165??2014-02-04?16:45??uppaal-4.0.14\demo\bridge.xml
?????文件????????1608??2014-02-04?16:45??uppaal-4.0.14\demo\fischer.xml
?????文件????????3626??2014-02-04?16:45??uppaal-4.0.14\demo\2doors.xml
?????文件?????????522??2014-02-04?16:45??uppaal-4.0.14\demo\bridge.q
?????文件????????4484??2014-02-04?16:45??uppaal-4.0.14\demo\train-gate.xml
?????文件????????1808??2014-02-04?16:45??uppaal-4.0.14\demo\2doors.q
?????文件?????????189??2014-02-04?16:45??uppaal-4.0.14\demo\fischer_symmetry.q
?????文件????????3772??2014-02-04?16:45??uppaal-4.0.14\demo\interrupt.xml
?????文件?????????183??2014-02-04?16:45??uppaal-4.0.14\demo\interrupt.q
?????目錄???????????0??2014-02-21?14:53??uppaal-4.0.14\bin-Linux\
?????文件?????2988112??2014-05-20?15:35??uppaal-4.0.14\bin-Linux\verifyta
?????文件?????2996304??2014-05-20?15:35??uppaal-4.0.14\bin-Linux\server
?????文件??????577718??2014-05-20?15:34??uppaal-4.0.14\uppaal.jar
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\lib\
?????文件??????148264??2014-05-20?15:34??uppaal-4.0.14\lib\jdom.jar
?????文件??????164872??2014-05-20?15:34??uppaal-4.0.14\lib\model.jar
?????文件??????114580??2014-05-20?15:34??uppaal-4.0.14\lib\jlfgr-1_0.jar
?????文件???????44086??2014-05-20?15:34??uppaal-4.0.14\lib\swixml.jar
?????文件??????531676??2014-05-20?15:34??uppaal-4.0.14\lib\jh.jar
?????文件???????69961??2014-05-20?15:34??uppaal-4.0.14\lib\editor.jar
?????文件????????5737??2014-02-04?16:45??uppaal-4.0.14\readme.txt
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\bin-Win32\
?????文件?????2422272??2014-05-20?15:37??uppaal-4.0.14\bin-Win32\verifyta.exe
?????文件?????2433536??2014-05-20?15:37??uppaal-4.0.14\bin-Win32\server.exe
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\man\
............此處省略2個文件信息
-----------?---------??----------?-----??----
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\
?????文件?????????893??2014-02-04?16:45??uppaal-4.0.14\uppaal
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\demo\
?????文件?????????419??2014-02-04?16:45??uppaal-4.0.14\demo\fischer.q
?????文件????????1349??2014-02-04?16:45??uppaal-4.0.14\demo\train-gate.q
?????文件????????1665??2014-02-04?16:45??uppaal-4.0.14\demo\fischer_symmetry.xm
?????文件????????3165??2014-02-04?16:45??uppaal-4.0.14\demo\bridge.xm
?????文件????????1608??2014-02-04?16:45??uppaal-4.0.14\demo\fischer.xm
?????文件????????3626??2014-02-04?16:45??uppaal-4.0.14\demo\2doors.xm
?????文件?????????522??2014-02-04?16:45??uppaal-4.0.14\demo\bridge.q
?????文件????????4484??2014-02-04?16:45??uppaal-4.0.14\demo\train-gate.xm
?????文件????????1808??2014-02-04?16:45??uppaal-4.0.14\demo\2doors.q
?????文件?????????189??2014-02-04?16:45??uppaal-4.0.14\demo\fischer_symmetry.q
?????文件????????3772??2014-02-04?16:45??uppaal-4.0.14\demo\interrupt.xm
?????文件?????????183??2014-02-04?16:45??uppaal-4.0.14\demo\interrupt.q
?????目錄???????????0??2014-02-21?14:53??uppaal-4.0.14\bin-Linux\
?????文件?????2988112??2014-05-20?15:35??uppaal-4.0.14\bin-Linux\verifyta
?????文件?????2996304??2014-05-20?15:35??uppaal-4.0.14\bin-Linux\server
?????文件??????577718??2014-05-20?15:34??uppaal-4.0.14\uppaal.jar
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\lib\
?????文件??????148264??2014-05-20?15:34??uppaal-4.0.14\lib\jdom.jar
?????文件??????164872??2014-05-20?15:34??uppaal-4.0.14\lib\model.jar
?????文件??????114580??2014-05-20?15:34??uppaal-4.0.14\lib\jlfgr-1_0.jar
?????文件???????44086??2014-05-20?15:34??uppaal-4.0.14\lib\swixm
?????文件??????531676??2014-05-20?15:34??uppaal-4.0.14\lib\jh.jar
?????文件???????69961??2014-05-20?15:34??uppaal-4.0.14\lib\editor.jar
?????文件????????5737??2014-02-04?16:45??uppaal-4.0.14\readme.txt
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\bin-Win32\
?????文件?????2422272??2014-05-20?15:37??uppaal-4.0.14\bin-Win32\verifyta.exe
?????文件?????2433536??2014-05-20?15:37??uppaal-4.0.14\bin-Win32\server.exe
?????目錄???????????0??2014-02-04?16:45??uppaal-4.0.14\man\
............此處省略2個文件信息
評論
共有 條評論
川公網(wǎng)安備 51152502000135號