Comprobador de modelos Romeo

Roméo es un entorno de herramientas integrado para el modelado , validación y verificación de sistemas en tiempo real modelados como redes de Petri de tiempo ^{[ 1 ]} o redes de Petri de cronómetro, extendidas con parámetros. ^{[ 2 ]}

Esta herramienta ha sido desarrollada por el grupo de Sistemas en Tiempo Real del laboratorio LS2N ( École centrale de Nantes , Universidad de Nantes , CNRS ) en Nantes , Francia .

Referencias

↑ Gardey, G; Lime, D ; Magnin, M; Roux, OH . "Roméo: Una herramienta para analizar redes de Petri temporizadas". En 17.ª Conferencia Internacional sobre Verificación Asistida por Computadora (CAV'05), volumen 3576 de Lecture Notes in Computer Science, páginas 418-423, Edimburgo, Escocia, Reino Unido, julio de 2005. Springer.
↑ Lime, D ; Roux, OH ; Seidner, C; Traonouez, LM. "Romeo: Un verificador de modelos paramétrico para redes de Petri con cronómetros". En 15.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y el Análisis de Sistemas (TACAS 2009), volumen 5505 de Lecture Notes in Computer Science, páginas 54-57, York, Reino Unido, marzo de 2009. Springer.

Enlaces externos

Página web de Roméo
Página web del laboratorio LS2N

[1] Gardey, G; Lime, D ; Magnin, M; Roux, OH . "Roméo: Una herramienta para analizar redes de Petri temporizadas". En 17.ª Conferencia Internacional sobre Verificación Asistida por Computadora (CAV'05), volumen 3576 de Lecture Notes in Computer Science, páginas 418-423, Edimburgo, Escocia, Reino Unido, julio de 2005. Springer.

[2] Lime, D ; Roux, OH ; Seidner, C; Traonouez, LM. "Romeo: Un verificador de modelos paramétrico para redes de Petri con cronómetros". En 15.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y el Análisis de Sistemas (TACAS 2009), volumen 5505 de Lecture Notes in Computer Science, páginas 54-57, York, Reino Unido, marzo de 2009. Springer.

[ 1 ]

[ 2 ]