Differences
This shows you the differences between two versions of the page.
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 ==== | ||
+ | |||
+ | * {{: | ||
+ | * {{: | ||
+ | |||
==== 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 ==== | ||
- | |||
- | * {{: | ||
- | * {{: | ||
- | |||
- | |||