Difference between revisions of "Deliverables"
From vecolib
Yakobowski (Talk | contribs) (Livrable D4.2) |
|||
| Line 4: | Line 4: | ||
* February 2016: [http://vecolib.imag.fr/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic | * February 2016: [http://vecolib.imag.fr/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic | ||
* February 2016: [http://vecolib.imag.fr/index.php/File:D1-2.pdf D1-2]: Decision Procedures for Containers (annexes: [http://vecolib.imag.fr/images/d/d0/ArXiv-1507.05581.pdf 1], [http://vecolib.imag.fr/images/b/bb/Ir-Toussaint-1509.pdf 2]) | * February 2016: [http://vecolib.imag.fr/index.php/File:D1-2.pdf D1-2]: Decision Procedures for Containers (annexes: [http://vecolib.imag.fr/images/d/d0/ArXiv-1507.05581.pdf 1], [http://vecolib.imag.fr/images/b/bb/Ir-Toussaint-1509.pdf 2]) | ||
| + | * May 2016: D4.2: Common Logical Domain Interface library CLDI, integrated as the ''Eva'' abstract interpreter in [http://frama-c.com/Changelog.html#Aluminium-20160501 Frama-C Aluminium ] | ||
Revision as of 15:44, 19 July 2016
This page lists the deliverables of the project:
