From vecolib
Revision as of 08:55, 4 May 2017 by Sighireanu (Talk | contribs)

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
  • May 2017: D4-1: Case studies: verified implementation of formal doubly linked lists container.