A Scheme to Verify Services with Unboundedly many Clients using NuSMV.

S. Sheerazuddin S. Anand R. S. Anish Badhri

Published in: CoRR (2018)

Keyphrases

web services
symbolic model checking
streaming services
model checking
service oriented
service providers
video streaming
knowledge base
data mining
reinforcement learning
dynamic programming
programming language
rough set theory
service composition