2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SC2023★ 2 cited
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their a…
cs.LO2021
Symbolic Specialization of Rewriting Logic Theories with Presto
María Alpuente, Demis Ballis, Santiago Escobar +1
This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimiza…
cs.LO2016
Assertion-based Analysis via Slicing with ABETS (System Description)
M. Alpuente, D. Ballis, F. Frechina +1
We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's exe…