2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SC2026
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
Santiago Escobar, Raúl López-Rueda, Carlos Olarte
The formal analysis of real-time systems must address two dimensions of infiniteness: an unbounded number of agents and messages, and a potentially infinite state space induced by…
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…