From vecolib
Revision as of 14:44, 19 July 2016 by Yakobowski (Talk | contribs) (Livrable D4.2)

Jump to: navigation, search

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