Explore projects

The point of this tool is to learn a Computation Tree Logic (CTL) formula that separates a set of positive and negative Kripke structures, i.e. is verified by the former but not the latter. For more details, please read the companion article: http://arxiv.org/abs/2402.06366

Optimized tool for parallel Bounded model-checking problem

Mirror of freeimage library. It enables us pulling sources from git instead of a random failing tarball on sourceforge when packaging it with conan.