Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
Verification of Concurrent Systems : optimality, Scalability and Applicability

Impacto

Downloads

Downloads per month over past year



Isabel Márquez, Miguel (2021) Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad. [Thesis]

[thumbnail of T42336.pdf]
Preview
PDF
5MB


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...

Resumen (otros idiomas)

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...

Item Type:Thesis
Additional Information:

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, leída el 14-10-2020

Directors:
Directors
Albert Albiol, Elvira
Gómez-Zamalloa Gil, Miguel
Uncontrolled Keywords:Algoritmos computacionales, programación en paralelo (Informática)
Palabras clave (otros idiomas):Computer Algorithms, Parallel programming (Computer science)
Subjects:Sciences > Computer science > Computer programming
ID Code:65807
Deposited On:28 May 2021 10:46
Last Modified:28 May 2021 10:55

Origin of downloads

Repository Staff Only: item control page