Asteasuain, Fernando
(Red de Universidades Nacionales con Carreras en Informática, 2025-10)
The usage of the GR(1) subset of Linear Temporal Logic has been proposed as an efficient way of appying formal verification tools and techniques. Another important milestone for formal verification are behavioral specification ...