Virgile Prevosto

• Guide to Software Verification with Frama-C
• Tests and Proofs