1

Accurate Centralization for Applying Model Checking on Networked Applications

Adaptive Geographically Bound Mobile Agents