5nizza / spec-framework

SMV format for synthesis, converter to SYNTCOMP format

Geek Repo

Github PK Tool