ACSL : ANSI/ISO C specification language, 2008. ,
Why3 : Shepherd your herd of provers, Boogie 2011 : First International Workshop on Intermediate Verification Languages, pp.53-64, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00790310
One Logic to Use Them All, 24th International Conference on Automated Deduction, pp.1-20, 2013. ,
DOI : 10.1007/978-3-642-38574-2_1
A pragmatic type system for deductive verification, Research report, 2016. ,
The spirit of ghost code. Formal Methods in System Design, pp.152-174, 2016. ,
Why3 ??? Where Programs Meet Provers, 22nd European Symposium on Programming, pp.125-128, 2013. ,
DOI : 10.1007/978-3-642-37036-6_8
Usable auto-active verification, Usable Verification Workshop, 2010. ,
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library, 9th Working Conference on Verified Software : Theories, Tools, and Experiments, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01519732