FIIL : software model checking

Les transparents du cours

TP

Cubicle est accessible sur vos machines en ajoutant /public/kn/bin votre variable PATH.