Static and dynamic analysis of real-time systems

• 1 January 1992
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 368-376
• https://doi.org/10.1145/503720.503801

Abstract

Keywords

• REAL-TIME
• SUP-INF PROCEDURE
• SPEC U/L BOUNDS
• DETERMINISTIC TIMING TOOLS
• NEGATIVE CYCLE
• POSITIVE CYCLE
• PROGRAM U/L BOUNDS
• REAL-TIME LOGIC
• THEOREM PROVING