ADVENT: Architecture-Driven Verification ADVENT
of Systems Software

Welcome to the ADVENT Project Home Page

The ADVENT project develops innovative methods and tools for cost-effective verification of real-world systems software. We achieve this by exploiting a trend among programmers to use informally described patterns, idioms, abstractions and other forms of structure contained in their software, which are together called its architecture. Building on the technology of separation logic, we formalise such software engineering concepts used by systems programmers to reason about their software informally, and use the results to drive the design of verification techniques.

For more infomation about the techniques and the automated verification tools being developed, please follow the corresponding links.

Key facts

  • Funded by the European Commission through the FP7 FET Young Explorers scheme
  • Started on 1 April 2013
  • Duration: 3 years
  • Community contribution to the project: 1.075M€