Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
El análisis formal de especificaciones de software suele atacarse desde dosenfoques, usualmente llamados: liviano y pesado. En el lado liviano encontramoslenguajes fáciles de aprender y utilizar junto con herramientasautomáticas de análisis, pero de alcance parcial. El lado pesado nos ofrecelograr c...
| Autor principal: | Moscato, Mariano Miguel |
|---|---|
| Formato: | Tesis Doctoral |
| Lenguaje: | Inglés |
| Publicado: |
2013
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.12110/tesis_n5428_Moscato |
| Aporte de: |
Ejemplares similares
-
Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
por: Moscato, Mariano Miguel
Publicado: (2013) -
Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving
por: Moscato, Mariano Miguel
Publicado: (2013) -
Dynamite: A tool for the verification of alloy models based on PVS
por: Moscato, M.M., et al. -
Dynamite: A tool for the verification of alloy models based on PVS
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2014) -
Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
por: Uva, Marcelo Ariel
Publicado: (21 d)