0 Descargas0 Vistas0% Tendencia

A Spin / Promela Application for Model checking UML Sequence Diagrams

Vidal-Silva, Cristian, Villarroel, Rodolfo, Rubio, José Miguel, Johnson, Franklin, Madariaga, Erika, Campos, Camilo, Carter, Luis
Resumen

Resumen

UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behavio...

Descripción

Profesor Guía

Título de la revista

Título del volumen

Patrocinio

Citación

Aprobación

Revisión

Complementado por

Referenciado por

Palabras clave: Spin / PromelaUML Sequence DiagramsFault toleranceLTL formulasCombined fragment

DOI

URI

https://hdl.handle.net/20.500.12536/105

Editor

ISSN de la revista

Estadísticas de uso
Oct 25Nov 25Dic 25Ene 26Feb 26Mar 26Abr 26
Página completa del ítem
Publicaciones relacionadas
Miniatura
Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
2019 - Vidal-Silva, Cristian
Coincide por palabra clave: Spin / Promela
Otros títulos del autor(es)
Miniatura
Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
2019 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian
Miniatura
Estudio de la Realidad y Viabilidad de la Formación en BigData en la Academia Chilena
2019 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian
Miniatura
Aspect-Combining Functions for Modular MapReduce Solutions
2018 - Vidal-Silva, Cristian
Coincide por autor: Vidal-Silva, Cristian