Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Both 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 ====
 +
 +  * {{: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 ==== ==== 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}}
-  * {{:petrinet2modelchecker_v1_0_4.zip|Zip archive download ver: 1.0.4}}+
   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}
 +
  
 ====== RTCPNC ====== ====== RTCPNC ======