Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Mostrar todas las versiones(2)

Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.

Guardado en:
Detalles Bibliográficos
Autor principal: Dania, Carolina Inés
Otros Autores: Aguirre, Nazareno
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
Acceso en línea:http://hdl.handle.net/11086/17
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.

Ejemplares similares