Dépôts open source suivis de esbmc, triés par étoiles.
Le vérificateur de modèles efficace basé sur SMT et limité par le contexte (ESBMC)
