Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Both sides next revision
software [2019/11/24 19:38]
jbiernacki
software [2021/09/23 08:51] (current)
Line 18: Line 18:
  
 **Alvis2ModelChecker** tool deals with the problem of translation of Alvis LTS into SMV language suppoerted by nuXmv / NuSMV tools. **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 ==== ==== Changelog ====
 ===ver: 1.0.5:=== ===ver: 1.0.5:===
Line 30: Line 37:
 ===ver: 1.1.0 (2019-11-24):=== ===ver: 1.1.0 (2019-11-24):===
   * Command line tool added   * Command line tool added
- 
- 
-==== 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}} 
- 
-