Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
| software [2019/11/24 18:11] 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 ==== | ||
| - | |||
| - | * {{: | ||
| - | |||