Asteasuain, Fernando; Calonge, Federico; Dubinsky, Manuel
(Red de Universidades con Carreras en Informática, 2018)
The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, ...