Análisis de sistemas críticos en teoría de tipos

Para el análisis de sistemas reactivos y de tiempo real se destacan dos enfoques formales: la verificación de modelos y el análisis deductivo basado en asistentes de pruebas. El primero se caracteriza por ser completamente automatizable pero presenta dificultades al tratar sistemas con un gran númer...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Luna, Carlos Daniel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Especificación y Análisis de Sistemas de Tiempo Real
Intelligent agents
Autómatas (Grafos) Temporizados
Lógicas TCTL y CTL
Verificación de Modelos
Teoría de Tipos y Coq, Verificación-Demostración de Corrección
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22520
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares