Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
software [2018/11/16 22:44] jbiernacki [Changelog] | 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 | + | |
==== Download ==== | ==== Download ==== | ||
- | * {{:petrinet2modelchecker_v1_0_5.zip|Zip archive download ver: 1.0.5}} | + | * {{:petrinet2modelchecker_v1_07.zip|Zip archive download ver: 1.0.7}} |
- | * {{: | + | |
* {{:: | * {{:: | ||
+ | |||
====== RTCPNC ====== | ====== RTCPNC ====== |