RT Dissertation/Thesis
T1 Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
T2 Verification of Concurrent Systems : optimality, Scalability and Applicability
A1 Isabel Márquez, Miguel
AB 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...
AB 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...
PB Universidad Complutense de Madrid
YR 2021
FD 2021-05-28
LK https://hdl.handle.net/20.500.14352/11647
UL https://hdl.handle.net/20.500.14352/11647
LA eng
NO Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, leída el 14-10-2020
DS Docta Complutense
RD 9 abr 2025