i2smv - A Interactors to SMV translation tool
i2smv - Ferramenta de tradução de Interactors para SMV
i2smv is a prototype tool for the translation of Interactors to the SMV input language. Interactor behaviour is specified using Modal Action Logic (MAL). i2smv enables interactive systems models expressed with the MAL Interactors notation to be analysed using the SMV model checker.
We are currently developing a new version of the tool which will include a models' editor.
Related publications