Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
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 combi...
| Author: | |
|---|---|
| Format: | doctoral thesis |
| Publication Date: | 2021 |
| Country: | España |
| Institution: | Universidad Complutense de Madrid (UCM) |
| Repository: | Docta Complutense |
| Language: | English |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/11647 |
| Online Access: | https://hdl.handle.net/20.500.14352/11647 |
| Access Level: | Open access |
| Keyword: | 004.42.032.24(043.2) 004.421(043.2) Algoritmos computacionales programación en paralelo (Informática) Computer Algorithms Parallel programming (Computer science) Programación de ordenadores (Informática) 1203.23 Lenguajes de Programación |
| Summary: | 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... |
|---|