Sidebar

Main

Internal

Trace:

Differences

This shows you the differences between two versions of the page.

--- 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 ====
+  * {{:alvis2modelchecker_v1_1_0.zip|Zip archive download ver: 1.1.0}}
+  * {{:alvis2modelchecker_v1_1_0-full.zip|Zip archive download ver: 1.1.0 with all Alvis tools included}}
+==== 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&Alvis2ModelChecker application that contains an option to simplify Alvis LTS to nuXmv translation, by storing only model's Parameters Values in the nuXmv variables.
+===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 ====
-===ver: 1.0.2:===
-  *  Added Alvis LTS to nuXmv translation
 ===ver: 1.0.3:===
   * Updated algorithm of translation of RTCP-nets coverability graphs to nuXmv langage.
@@ Line 38: / Line 59: @@
   * Fixed file loading bug
   * 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 ====
-  * {{:petrinet2modelchecker_v1_0_5.zip|Zip archive download ver: 1.0.5}}
+  * {{:petrinet2modelchecker_v1_07.zip|Zip archive download ver: 1.0.7}}
-  * {{:petrinet2modelchecker_v1_0_4.zip|Zip archive download ver: 1.0.4}}
   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}
 ====== RTCPNC ======