Publication
Migrating a Digital Library to a Private Cloud
Project
MODIST: Transparent Model Checking of Unmodified Cloud Systems
MODIST is a practical software model checker for unmodified concurrent, distributed and cloud systems. MODIST explores different execution paths systematically as well as simulating a variety of environment faults to discover subtle corner-case defects. We…
Publication