Difference between revisions of "Deliverables"

Revision as of 09:02, 4 May 2017

This page lists the deliverables of the project:

March 2015: D4-1: Case studies
February 2016: D1-1: Decision Procedures for Separation Logic
February 2016: D1-2: Decision Procedures for Containers (annexes: 1, 2)
May 2016: D4.2: Common Logical Domain Interface library CLDI, integrated as the Eva abstract interpreter in Frama-C Aluminium
May 2017: D4-1: Case studies: verified implementation of formal doubly linked lists container.

@@ Line 1: / Line 1: @@
 This page lists the deliverables of the project:
-* March 2015: [http://www.irif.fr/~sighirea/projects/vecolib/deliverables/d4-1.pdf D4-1]: Case studies
+* March 2015: [https://www.irif.fr/~sighirea/projects/vecolib/deliverables/d4-1.pdf D4-1]: Case studies
 * 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])
 * 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 ]
-* May 2017: [http://vecolib.imag.fr/index.php/File:cfdlli.tar.gz D4-1]: Case studies: verified implementation of formal doubly linked lists container.
+* May 2017: [https://www.irif.fr/~sighirea/projects/vecolib/deliverables/cfdlli.tar.gz D4-1]: Case studies: verified implementation of formal doubly linked lists container.