A D-graph based approach for verifying response time of 'critical' programs

This paper deals with the behavior of programs in time. It indicates some constraints for the low-level design and coding of programs for use in critical applications, and defines an algebraic method for the static evaluation of the response time of a critical program and proposes a tool for the temporal verification of a critical task in a software engineering laboratory.