Busque entre los 155995 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-16T15:44:54Z | |
dc.date.available | 2012-10-16T15:44:54Z | |
dc.date.issued | 2004 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/22520 | |
dc.description.abstract | 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úmero de estados o que tienen parámetros no acotados. El segundo permite tratar con sistemas arbitrarios pero requiere la interacción del usuario. Este trabajo presenta formalizaciones en teoría de tipos de grafos temporizados para modelar sistemas reactivos y de tiempo real, y formalizaciones de las lógicas CTL y TCTL para razonar sobre estas clases de sistemas críticos. Asimismo, el artículo explora una metodología que permite compatibilizar el uso de un verificador de modelos como Kronos y el asistente de pruebas Coq en el análisis de sistemas reactivos y de tiempo real. | es |
dc.language | es | es |
dc.subject | ARTIFICIAL INTELLIGENCE | es |
dc.subject | Especificación y Análisis de Sistemas de Tiempo Real | es |
dc.subject | Intelligent agents | es |
dc.subject | Autómatas (Grafos) Temporizados | es |
dc.subject | Lógicas TCTL y CTL | es |
dc.subject | Verificación de Modelos | es |
dc.subject | Teoría de Tipos y Coq, Verificación-Demostración de Corrección | es |
dc.title | Análisis de sistemas críticos en teoría de tipos | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Luna, Carlos Daniel | es |
sedici.description.note | Eje: V - Workshop de agentes y sistemas inteligentes | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.relation.event | X Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |