Load Balancing Module

Algorithm

Give an overview of how the module works and link to the paper

Invariant Checking

Which invariant is implemented. Which models can you use with that invariant? How do you get the models?

Document the malicious flag Document the invariant flag.

Migration Size

Document the migration size flag.