GitHub repository: pablofcastro/faulty
Primary language: Java
Created: 2015-10-17T05:06:38Z
Description: A Model Checker for the logic dCTL