TY  - THES
AU  - Isabel Márquez, Miguel
A3  - Albert Albiol, Elvira
A3  - Gómez-Zamalloa Gil, Miguel
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/11647
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...
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...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - Algoritmos computacionales
KW  - programación en paralelo (Informática)
KW  - Computer Algorithms
KW  - Parallel programming (Computer science)
TI  - Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
T2  - Verification of Concurrent Systems : optimality, Scalability and Applicability
M3  - doctoral thesis
ER  -