Verificación de lógicas modales dinámicas en Coq

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Guardado en:
Detalles Bibliográficos
Autor principal: Trucco, Francisco Carlos
Otros Autores: Fervari, Raúl Alberto
Formato: publishedVersion bachelorThesis
Lenguaje:Español
Publicado: 2020
Materias:
Verificación Formal
Lógicas Modales
Lógicas Dinámicas
Asistente de Prueba
Logic
Logic and verification
Modal and temporal logics (High Relevance)
Theory of computation
Formal Verification
Coq
Acceso en línea:http://hdl.handle.net/11086/14648
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares