Content

• 1 Building OTAWA
• 2 Computing a WCET
• 3 Writing an OTAWA Application
• 4 Control Flow Graphs
• 5 Property Work
• 6 Code Processors
• 7 Features
• 8 Using ELM
• 9 Performing Iterative Data Flow Analysis
• 10 Using Abstract Interpretation
• 11 References
• 12 Architecture Formats