.:: ALL-TIMES / 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.
Open Interface Specifications
- ALF Specification v. 1.31
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
to XTC pages at AbsInt.
XTC (eXtensible Timing Cookies) is a format for exchanging information between
timing analysis tools.
- ATF Specification: PDF, and
ATF is the ALL-TIMES trace format. For information,