Documents

This page provides access to public documents produced within the ALL-TIMES project. These are primarily of two kinds: public deliverables, and specifications of open interface formats defined within the project.

Public Deliverables

D4.3.1 — Project presentation (PDF)
This document gives a short overview of the ALL-TIMES project. To be used as a flyer etc.
D2.23.2 — Final Prototype of Integrated System-Level Verification Methodology (PDF)
This report presents the methodology for using the timing tool chains developed within the project.
D4.4.2 — Report on Main Project Results (PDF)
This report presents the main results achieved in the project.
Publishable Summary Report (PDF)
This report summarizes the activities in the project, and its outcomes.

Open Interface Specifications

ALF Specification v. 1.31 (PDF)
This document describes the ALF format for program flow analysis, which is the code format analyzed by SWEET for program flow properties.
XTC Language Specification: PDF, and XSD. Link to XTC pages at AbsInt.
XTC (eXtensible Timing Cookies) is a format for exchanging information between timing analysis tools.
ATF Specification: PDF, and XSD.
ATF is the ALL-TIMES trace format. For information, contact atf-admin@all-times.org.