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 [2019/10/05 16:47]
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 43: Line 66:
   * {{:petrinet2modelchecker_v1_07.zip|Zip archive download ver: 1.0.7}}   * {{:petrinet2modelchecker_v1_07.zip|Zip archive download ver: 1.0.7}}
   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}   * {{::petrinet2modelchecker_quick_start.pdf|PetriNet2ModelChecker Quick Start}}
 +
  
 ====== RTCPNC ====== ====== RTCPNC ======