Sidebar

Main

Internal

Trace:

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

--- software [2019/10/05 16:49]
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 ====
+  * {{: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 44: / Line 67: @@
   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}
-====== Alvis2ModelChecker ======
-**Alvis2ModelChecker** tool deals with the problem of translation of ...
-==== Download ====
-  * {{:alvis2modelchecker_v1_0_8.zip|Zip archive download ver: 1.0.8}}
 ====== RTCPNC ======