INSA CVL - Spécifications et Tests d'Applications Lecture (FR) VM TD1 Tests TD2 Runtime Monitoring TD3 Abstract Interpretation TD4 Deductive Verification