TY  - THES
AU  - Rodríguez, Andoni
A3  - Sánchez, César
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/9227
AB  - Industrial systems are getting more complex every year, and due to that complexity growth, the languages to specify them are becoming increasingly more expressive: so that they can properly model both controllable parts and the environment, or even...
AB  - Los sistemas industriales son cada vez más complejos, y debido a ese crecimiento de complejidad, los lenguajes de especificación son cada vez más expresivos: de forma que puedan modelar adecuadamente tanto las partes controlables del sistema como su...
LA  - eng
KW  - Booleanization
KW  - Realizability
KW  - Linear temporal logic
KW  - Infinite games
KW  - Quantifier elimination
KW  - Requirement synthesis
KW  - Booleanización
KW  - Realizabilidad
KW  - Lógica temporal lineal
KW  - Juegos infinitos
KW  - Eliminación de cuantificadores
KW  - Síntesis de requisitos
TI  - The Temporal Booleanization Theorem: realizability checking over numerical-LTL industrial requirements
M3  - master thesis
ER  -