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.LO2024
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Jaime Arias, Kyungmin Bae, Carlos Olarte +2
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where paramet…