Explore projects

Debian packaging of Spins (from LTSmin)

Optimized tool for parallel Bounded model-checking problem

This deposit includes the progress of my internship. It contains the scripts necessary for the reissue of the Benchmarks as well as the sources of the distributed Union-Find implemented during the second part of the internship.

Data generated from lisp-types package

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!