Difference between revisions of "Deliverables"

From vecolib
Jump to: navigation, search
Line 3: Line 3:
 
* March 2015: [http://www.liafa.univ-paris-diderot.fr/~sighirea/projects/vecolib/deliverables/d4-1.pdf D4-1]: Case studies
 
* March 2015: [http://www.liafa.univ-paris-diderot.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/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic
* February 2016: [ D1-2]: Decision Procedures for Containers
+
* February 2016: [http://vecolib.imag.fr/index.php/File:D1-2.pdf D1-2]: Decision Procedures for Containers (annexes: )

Revision as of 11:51, 27 February 2016

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: )