3 papers
cs.LO2026
Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
Chirantan Hebballi, Akash Poptani, Amrutha Benny +3
A Runtime Verification (RV) framework that supports online, at-speed verification of properties that can change dynamically (during in-field operations) will benefit a large variet…
cs.LO2026
Verification of Unbounded Client-Server Systems with Distinguishable Clients
Ramchandra Phawade, Tephilla Prince, S Sheerazuddin
Client-server systems are a computing paradigm in concurrent and distributed systems. We deal with unbounded client-server systems (UCS) where all clients are of the same type, int…
cs.LO2026
Bounded Model Checking for Unbounded Client Server Systems
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded model checking (BMC) is an efficient formal verification technique which allows for desired properties of a software system to be checked on bounded runs of an abstract mod…