Revision as of 09:02, 4 May 2017 by Sighireanu
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.