Publication:
Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad

Thumbnail Image
Files
T42336.pdf (5.12 MB)
Official URL
Full text at PDC
Publication Date
2021-05-28
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Complutense de Madrid
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM
Research Projects
Organizational Units
Journal Issue
Abstract
Tanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combinatoria en el numero de estados del programa que deben ser considerados, lo que frecuentemente lleva a un problema computacionalmente intratable. El objetivo de esta tesis es el desarrollo de tecnicas novedosas para el testing y la verificacion de programas concurrentes que permitan reducir esta explosion combinatoria...
Both verification and testing of concurrent systems require exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal an erroneous behavior of the system. This introduces a combinatorial explosion on the number of program states that must be considered, what leads often to a computationally intractable problem. The overall goal of this thesis is to investigate novel techniques for testing and verification of concurrent programs that reduce this combinatorial explosion...
Description
Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, leída el 14-10-2020
UCM subjects
Programación de ordenadores (Informática)
Unesco subjects
1203.23 Lenguajes de Programación
Keywords
Citation
URI
https://hdl.handle.net/20.500.14352/11647
Collections
Tesis Doctorales