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/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 ==== | ||
+ | |||
+ | * {{: | ||
+ | * {{: | ||
+ | |||
+ | ==== 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& | ||
+ | ===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: | ||
* {{: | * {{: | ||
* {{:: | * {{:: | ||
+ | |||
====== RTCPNC ====== | ====== RTCPNC ====== |