TRIO': O como ahora las tautologías son tautologías y el infinito es infinito

La creciente utilización de sistemas de tiempo real en un amplio campo de nuestra vida moderna que requieren un alto grado de con íiatilidad , hace necesario el uso de técnicas de verificación formal de los mismos. Se define en este trabajo TRIO', como una extensión de la lógica temporal lineal...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Turquie, Isaac Carlos
Otros Autores: Felder, Miguel
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2144
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-2144
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
spellingShingle Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
Turquie, Isaac Carlos
TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
topic_facet Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
description La creciente utilización de sistemas de tiempo real en un amplio campo de nuestra vida moderna que requieren un alto grado de con íiatilidad , hace necesario el uso de técnicas de verificación formal de los mismos. Se define en este trabajo TRIO', como una extensión de la lógica temporal lineal de primer orden TRIO, donde se incorpora una semántica más natural y adecuada para modelar sistemas de tiempo real y probar propiedades sobre los mismos, pudiendo expresar, además, el tiempo en forma infinita con la ayuda de variables definidas para tal efecto. La factibilidad de los algoritmos de análisis de TRIO' se demuestra con la implementación de los algoritmos de Generación de Modelos y de History-Checking, con un funcionamiento decidible.
author2 Felder, Miguel
author_facet Felder, Miguel
Turquie, Isaac Carlos
format Tesis
Tesis de grado
author Turquie, Isaac Carlos
author_sort Turquie, Isaac Carlos
title TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title_short TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title_full TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title_fullStr TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title_full_unstemmed TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title_sort trio': o como ahora las tautologías son tautologías y el infinito es infinito
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/2144
work_keys_str_mv AT turquieisaaccarlos trioocomoahoralastautologiassontautologiasyelinfinitoesinfinito
bdutipo_str Repositorios
_version_ 1764820464537960450

Ejemplares similares