4 papers
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…
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…
A Scheme to Verify Services with Unboundedly many Clients using NuSMV
S Sheerazuddin, S Anand, R S Anish Badhri
We study model checking of client - server systems, where the servers offer several types of services that may depend, at any time, on how many clients of specific types are active…
A Local Logic for Realizability in Web Service Choreographies
R. Ramanujam, S. Sheerazuddin
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does the…