Describir: Model Checking: Algorithmic Verification and Debugging.