A. Petit Books
Systems and Software Verification
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a sy...
Read More
Pedagogie hors piste
By Andre Petit
Voici le vibrant témoignage d'un professeur d'anglais qui a cherché à jeter des ponts entre ses recherches personnelles d'une vie meilleure et ses salles de classe. Il nous invite à le suivre sur l...
Read More