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: bachelorThesis publishedVersion
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
id I10-R14111086-14648
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic 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
spellingShingle 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
Trucco, Francisco Carlos
Verificación de lógicas modales dinámicas en Coq
topic_facet 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
description 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.
author2 Fervari, Raúl Alberto
author_facet Fervari, Raúl Alberto
Trucco, Francisco Carlos
format bachelorThesis
publishedVersion
author Trucco, Francisco Carlos
author_sort Trucco, Francisco Carlos
title Verificación de lógicas modales dinámicas en Coq
title_short Verificación de lógicas modales dinámicas en Coq
title_full Verificación de lógicas modales dinámicas en Coq
title_fullStr Verificación de lógicas modales dinámicas en Coq
title_full_unstemmed Verificación de lógicas modales dinámicas en Coq
title_sort verificación de lógicas modales dinámicas en coq
publishDate 2020
url http://hdl.handle.net/11086/14648
work_keys_str_mv AT truccofranciscocarlos verificaciondelogicasmodalesdinamicasencoq
bdutipo_str Repositorios
_version_ 1764820393486450689

Ejemplares similares