3 citations · 6 across the 6 of their papers we have counts for
6 papers
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
Alicia Villanueva
This volume constitutes the informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), held on 21-23rd September 20…
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…
Symbolic Abstract Contract Synthesis in a Rewriting Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
We propose an automated technique for inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based struct…
Automatic Inference of Specifications in the K Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write for…
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…
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…