Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
| software [2019/10/04 19:05] jbiernacki [Download] | software [2021/09/23 08:51] (current) | ||
|---|---|---|---|
| Line 14: | Line 14: | ||
| + | ====== Alvis2ModelChecker ====== | ||
| + | |||
| + | |||
| + | **Alvis2ModelChecker** tool deals with the problem of translation of Alvis LTS into SMV language suppoerted by nuXmv / NuSMV tools. | ||
| + | |||
| + | |||
| + | ==== Download ==== | ||
| + | |||
| + | * {{: | ||
| + | * {{: | ||
| + | |||
| + | ==== Changelog ==== | ||
| + | ===ver: 1.0.5:=== | ||
| + | * Added Timed Alvis LTS to nuXmv translation | ||
| + | * Set TRANS section generation as optional in Alvis LTS to nuXmv translation | ||
| + | ===ver: 1.0.6:=== | ||
| + | * Added Petri& | ||
| + | ===ver: 1.0.8 (2019-10-05): | ||
| + | * Labels generation fix | ||
| + | * State transitions fix | ||
| + | * Interface fixes | ||
| + | ===ver: 1.1.0 (2019-11-24): | ||
| + | * Command line tool added | ||
| Line 29: | Line 52: | ||
| ==== Changelog ==== | ==== Changelog ==== | ||
| - | ===ver: 1.0.2:=== | ||
| - | * Added Alvis LTS to nuXmv translation | ||
| ===ver: 1.0.3:=== | ===ver: 1.0.3:=== | ||
| * Updated algorithm of translation of RTCP-nets coverability graphs to nuXmv langage. | * Updated algorithm of translation of RTCP-nets coverability graphs to nuXmv langage. | ||
| Line 38: | Line 59: | ||
| * Fixed file loading bug | * Fixed file loading bug | ||
| * Minor updates in the algorithm of translation of RTCP-nets coverability graphs to nuXmv langage. | * Minor updates in the algorithm of translation of RTCP-nets coverability graphs to nuXmv langage. | ||
| - | ===ver: 1.0.5:=== | + | ===ver: 1.0.7:=== |
| - | * Added Timed Alvis LTS to nuXmv translation | + | * Interface fixes |
| - | * Removed TRANS section generation in Alvis LTS to nuXmv translation | + | |
| - | ===ver: 1.0.6:=== | + | |
| - | * Added an option to simplify Alvis LTS to nuXmv translation, | + | |
| ==== Download ==== | ==== Download ==== | ||
| - | * {{:petrinet2modelchecker_v1_0_6.zip|Zip archive download ver: 1.0.6}} | + | * {{:petrinet2modelchecker_v1_07.zip|Zip archive download ver: 1.0.7}} |
| - | * {{: | + | |
| - | * {{: | + | |
| * {{:: | * {{:: | ||
| + | |||
| ====== RTCPNC ====== | ====== RTCPNC ====== | ||