A New Numerical Abstract Domain Based on Difference-Bound MatricesReport as inadecuate




A New Numerical Abstract Domain Based on Difference-Bound Matrices - Download this document for free, or read online. Document in PDF available to download.

1 LIENS - Laboratoire d-informatique de l-école normale supérieure

Abstract : This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form x-y



Author: Antoine Miné -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents