Extending JPF to verify distributed systems.

Nastaran Shafiei Peter C. Mehlitz

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

loosely coupled
distributed systems
fault tolerant
distributed environment
load balancing
fault tolerance
mobile agents
message passing
real time systems
geographically distributed
distributed database systems
databases
operating system
distributed computing
data replication
deadlock detection