Asteasuain, Fernando; Tarulla, Francisco
(Red de Universidades con Carreras en Informática, 2017)
In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing ...