Federico Spedalieri

QCHECK code

This page contains the code written to implement the quantum-based approach to model checking developed during the QCHECK project (funded by DARPA).

Code implementing the DW2 ILP solver using a sequential embedding:

QCHECK-DW2_code.tar_.txt

Code implementing the CEGAR loop:

QCHECK-CEGAR_code.tar_.txt

(remove the _.txt extension before running tar)

Groups: