https://abz-conf.org/publication/arcainigr10/
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications | ABZ
May 13, 2026 - 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...