TY  - GEN
AU  - Georgiev Mikovski, Iván
AU  - González Martínez, José Antonio
AU  - Mon Trotti, Nicolás
A4  - Sierra Rodríguez, José Luis
A4  - Fuentes Fernández, Rubén
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/54461
AB  - Los algoritmos de verificación de modelos (Model Checking) verifican una fórmula lógica sobre un modelo. Esta técnica permite tanto comprobar un correcto funcionamiento como descubrir errores de diseño y es aplicable a una gran variedad de campos. Una...
LA  - spa
KW  - Model Checking
KW  - Framework
KW  - lenguajes específicos de dominio
KW  - contraejemplos
KW  - CTL
KW  - domain-specific languages
KW  - counterexamples.
TI  - FlexiMC Framework: framework flexible para model checking
TY  - coursework
ER  -