Bounded Model Checking for Unbounded Client Server Systems.

Ramchandra Phawade Tephilla Prince S. Sheerazuddin

Published in: CoRR (2022)

Keyphrases

client server
distributed object
client server architecture
bounded model checking
database architectures
database server
peer to peer computing
mobile agents
distributed databases
model checking
management system
decision making
visual basic
expert systems
digital libraries
cooperative
case study
metadata