Model Checking

Model Checking pragmatic model checking from theory to implementations