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
