Combining static worst-case timing analysis and program proof
- 1 September 1996
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 11 (2) , 145-171
- https://doi.org/10.1007/bf00365316
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A retargetable technique for predicting execution time of code segmentsReal-Time Systems, 1994
- Static worst-case timing analysis of AdaACM SIGAda Ada Letters, 1994
- Pipelined processors and worst case execution timesReal-Time Systems, 1993
- Predicting program execution times by analyzing static and dynamic program pathsReal-Time Systems, 1993
- Analyzing hard-real-time programs for guaranteed schedulabilityIEEE Transactions on Software Engineering, 1991
- State constraints and pathwise decomposition of programsIEEE Transactions on Software Engineering, 1990
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Unisex: A unix-based symbolic executor for pascalSoftware: Practice and Experience, 1985
- On real-time features available in high-level languages and yet to be implementedMicroprocessing and Microprogramming, 1983
- A Unified Approach to Path ProblemsJournal of the ACM, 1981