GitHub repository: xiaohe27/K-Spec-Gen
Primary language: Java
Created: 2015-09-30T06:09:48Z
Description: Generate k-spec from annotated java file which can be used as the input of k verifier