2 papers
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…