GitHub repository: FTSRG/theta
Primary language: Java
Created: 2017-06-20T13:10:22Z
Description: Generic, modular and configurable model checking framework