Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example

Para el análisis de sistemas reactivos y de tiempo real dos importantes enfoques formales se destacan: la verificación de modelos, o model checking, y el análisis deductivo basado en asistentes de pruebas. El primero se caracteriza por la automaticidad pero presenta dificultades al tratar con sistem...

Full description

Bibliographic Details

Main Author:	Luna, Carlos (author)
Format:	masterThesis
Language:	Spanish
Published:	2000
Subjects:	ANALISIS DE SISTEMAS EN TIEMPO REAL AUTOMATAS TEMPORIZADOS TCTL CTL VERIFICACION DE MODELOS TEORIA DE TIPOS REAL TIME SYSTEMS MODEL TYPE THEORY
Online Access:	http://hdl.handle.net/20.500.12008/2916
Tags:	Add Tag No Tags, Be the first to tag this record!