TY  - THES
AU  - Herranz Gómez, Daniel
A3  - Albert Albiol, Elvira
A3  - Isabel Márquez, Miguel
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/10412
AB  - La herramienta SYCO (Systematic testing tool for Concurrent Objects) es un analizador de modelos concurrentes que recibe un programa concurrente a ejecutar con unos determinados parámetros y provee a la salida la información de todos los posibles...
AB  - SYCO (Systematic testing tool for Concurrent Objects) is an analyzer of concurrent models that receives a concurrent program with specific parameters as input and provides as output all the possible interleavings of the program (traces), together with...
LA  - spa
KW  - Programa concurrente
KW  - SYCO
KW  - Actor
KW  - Tarea
KW  - Visualizador/analizador
KW  - Árbol
KW  - Traza
KW  - Concurrent program
KW  - Worker
KW  - Task
KW  - Visualizer/analyzer
KW  - Tree
KW  - Trace
TI  - Visualizador y analizador de trazas de ejecución sobre modelos concurrentes
T2  - Visualization and analysis of execution traces of concurrent models
M3  - bachelor thesis
ER  -