2 citations · 2 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.LO2013★ 2 cited
Towards an Effective Decision Procedure for LTL formulas with Constraints
Marco Comini, Laura Titolo, Alicia Villanueva
This paper presents an ongoing work that is part of a more wide-ranging project whose final scope is to define a method to validate LTL formulas w.r.t. a program written in the tim…