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

Autores
Turquie, Isaac Carlos
Año de publicación
1996
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Felder, Miguel
Descripción
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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
Materia
Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/2144

id SEDICI_e9c3b36e4e0236e48bd9e8a33d39233b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/2144
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling TRIO': O como ahora las tautologías son tautologías y el infinito es infinitoTurquie, Isaac CarlosCiencias Informáticassimulación y modelossistemas de tiempo realLa 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.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.Licenciado en InformáticaUniversidad Nacional de La PlataFacultad de Ciencias ExactasFelder, Miguel1996info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/2144spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:48:40Zoai:sedici.unlp.edu.ar:10915/2144Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:48:40.921SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
title TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
spellingShingle TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
Turquie, Isaac Carlos
Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
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
dc.creator.none.fl_str_mv Turquie, Isaac Carlos
author Turquie, Isaac Carlos
author_facet Turquie, Isaac Carlos
author_role author
dc.contributor.none.fl_str_mv Felder, Miguel
dc.subject.none.fl_str_mv Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
topic Ciencias Informáticas
simulación y modelos
sistemas de tiempo real
dc.description.none.fl_txt_mv 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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
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.
publishDate 1996
dc.date.none.fl_str_mv 1996
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/2144
url http://sedici.unlp.edu.ar/handle/10915/2144
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615739339702272
score 13.070432