psimovec / aufover-benchmark Goto Github PK
View Code? Open in Web Editor NEWThis project forked from aufover/aufover-benchmark
Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
License: MIT License