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...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/11647 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/11647 |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | 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... |
|---|