A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
The Future of Software Engineering
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.doi:10.1007/978-3-642-15187-3_3 dblp:conf/birthday/CousotCM10a fatcat:qdeq3a4svvdmhkiag2yy45nrsi