Our Experience with the CodeContracts Static Checker

Francesco Logozzo

Abstract

Invited Tutorial

Details

Publication typeInproceedings
Published inProceedings of the Verified Software: Theories, Tools, and Experiments
PublisherSpringer

Previous versions

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

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.

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.

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

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.

> Publications > Our Experience with the CodeContracts Static Checker