| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Date: Sat, 17 Jan 2026 12:38:51 GMT
Server: Apache/2.4.66 (Debian)
Strict-Transport-Security: max-age=63072000;
Location: https://software.imdea.org/advent-project/
Content-Length: 375
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Sat, 17 Jan 2026 12:38:51 GMT
Server: Apache/2.4.66 (Debian)
Strict-Transport-Security: max-age=63072000;
Last-Modified: Wed, 27 Apr 2016 12:43:33 GMT
ETag: "a7d-53176c1ee502a"
Accept-Ranges: bytes
Content-Length: 2685
Content-Type: text/html
ADVENT: Architecture-Driven Verification of Systems Software
ADVENT: Architecture-Driven Verification
ADVENT: Architecture-Driven Verification 
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€
