Explore projects

This is an open solution to the https://endocv.grand-challenge.org/

Optimized tool for parallel Bounded model-checking problem

Dockerfiles for constructing build environments for Spot

Python bindings of Pylene (in development)

Petri-Net model checker (obsolete demo for Spot)

Jupiter code

repo to help with debugging a suspected git vs gitkraken problem