Certifaiger

This page provides source code and experimental data for a paper submitted to CAV'21.

certifaiger.tar.xz