AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Contributo in Atti di convegno
Data di Pubblicazione:
2010
Citazione:
(2010). AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/25159
Abstract:
This paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been developed with the aim of enriching the ASMETA (ASM mETAmodeling) toolset - a set of tools for ASMs - with the capabilities of the model checker NuSMV to verify properties of ASM models written in the AsmetaL language. We describe the general architecture of AsmetaSMV and the process of automatically mapping ASM models into NuSMV programs. As a proof of concepts, we report the results of using AsmetaSMV to verify temporal properties of various case studies of different characteristics and complexity
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
Link alla scheda completa:
Titolo del libro:
[Proceedings of the] 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010; Orford, QC; Canada; 22 February 2010 through 25 February 2010
Pubblicato in: