14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.PL2021
A denotational semantics for PROMELA addressing arbitrary jumps
Marco Comini, María del Mar Gallardo, Alicia Villanueva
PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the mode…
cs.SE2015★ 14 cited
Using Model Checking to Generate Test Cases for Android Applications
Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón +1
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctnes…