Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
Guardado en:
| Autor principal: | Dania, Carolina Inés |
|---|---|
| Otros Autores: | Aguirre, Nazareno |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/17 |
| Aporte de: |
Ejemplares similares
-
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
por: Dania, Carolina Inés
Publicado: (2011) -
A dataflow analysis to improve SAT-based bounded program verification
por: Cuervo Parrino, B., et al. -
A dataflow analysis to improve SAT-based bounded program verification
por: Galeotti, Juan Pablo, et al.
Publicado: (2011) -
TacoFlow: optimizing SAT program verification using dataflow analysis
por: Cuervo Parrino, B., et al. -
TacoFlow: optimizing SAT program verification using dataflow analysis
por: Galeotti, Juan Pablo, et al.
Publicado: (2014)