Asmeta | Model checker | |
The AsmetaSMV model checker can be used to automatically verify Asmeta properties by translating AsmetaL specifications in NuSMV specifications. InstallationThe model checker can be used either embedded in eclipse or as standalone program. For the eclipse version, follow the instructions here The NuSMV model checker must be installed in the system and added to the system path. NuSMV can be downloaded from here: http://nusmv.fbk.eu/ Libraries with temporal operators can be downloaded from here: https://github.com/asmeta/asmeta/blob/master/asm_examples/STDL
Use in eclipseYou can run the tool in two modes:
Other options can be set in the preferences: Window -> Preferences -> Asmeta -> AsmetaSMV Download as standaloneDownload the tool: AsmetaSMV.jar How to run
|