Logical Abstract Domains and InterpretationsReportar como inadecuado




Logical Abstract Domains and Interpretations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIENS - Laboratoire d-informatique de l-école normale supérieure 2 ABSTRACTION - Abstract Interpretation and Static Analysis DI-ENS - Département d-informatique de l-École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548 3 Institute IMDEA Software Madrid

Abstract : We give semantic foundations to abstract domains consisting in first order logic formulae in a theory, as used in verification tools or methods using SMT-solvers or theorem provers. We exhibit conditions for a sound usage of such methods with respect to multi-interpreted semantics and extend their usage to automatic invariant generation by abstract interpretation.





Autor: Patrick Cousot - Radhia Cousot - Laurent Mauborgne -

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



DESCARGAR PDF




Documentos relacionados