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…