GitHub repository: shaunazzopardi/clarva
Primary language: Java
Created: 2017-07-21T10:16:06Z
Description: Residual analysis for properties as symbolic automata