Publications

Stage de M2 Recherche - Nouveaux Systèmes Informatiques

Rushby : Un nouvel algorithme d’atteignabilité pour le model checker Cubicle [rapport] [slides] (fr)

Bibliographie

Je mettrai ici mes lectures résumées.