The MAL Interactors Animator: Supporting model validation through animation

The IVY workbench is a model checking based tool for the analysis of interactive system designs. Experience shows that there is a need to complement the analytic power of model checking with support for model validation and analysis of verification results. Animation of the model provides this suppo...

Full description

Bibliographic Details
Main Author: Campos, José C. (author)
Other Authors: Sousa, Nuno (author)
Format: conferencePaper
Language:eng
Published: 2018
Subjects:
formal verification
model checking
model animation
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
Online Access:http://hdl.handle.net/1822/66789
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/66789

Internet

http://hdl.handle.net/1822/66789

Similar Items