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…