GitHub repository: loonwerks/jkind-plugin
Primary language: Java
Created: 2019-10-31T18:14:13Z
Description: JKind model checker packaged in a convenient Eclipse plugin