mcschroeder / smc

Interpolation-based sequential model checker for AIGER models

Geek Repo

Github PK Tool