Practical verification for the working programmer with CodeContracts and Abstract Interpretation - Invited Talk

Main.pdf
PDF file
CodeContracts.pptx
PowerPoint presentation

In  Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11)

Publisher  Springer Verlag

Details

TypeInproceedings

Previous Versions

Francesco Logozzo and Manuel Fähndrich. On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, Springer Verlag, 2008.

Patrick Cousot, Radhia Cousot, and Francesco Logozzo. A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis, Association for Computing Machinery, Inc., January 2011.

Francesco Logozzo and Manuel Fähndrich. Pentagons: A weakly relational domain for the efficient validation of array accesses, Association for Computing Machinery, Inc., March 2008.

Mike Barnett, Manuel Fahndrich, and Francesco Logozzo. Embedded Contract Languages, Association for Computing Machinery, Inc., March 2010.

Pietro Ferrara, Francesco Logozzo, and Manuel Fähndrich. Safer unsafe code for .NET, Association for Computing Machinery, Inc., October 2008.

Vincent Laviron and Francesco Logozzo. Refining Abstract Interpretation-based Static Analyses with Hints, Springer Verlag, December 2009.

Manuel Fahndrich and Francesco Logozzo. Static contract checking with Abstract Interpretation, Springer Verlag, October 2010.

Francesco Logozzo and Vincent Laviron. SubPolyhedra: A (more) scalable approach to infer linear inequalities, Springer Verlag, January 2009.

Francesco Logozzo and Manuel Fahndrich. Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses, Science of Computer Programming, Springer Verlag, 2009.

> Publications > Practical verification for the working programmer with CodeContracts and Abstract Interpretation - Invited Talk