Formal Aspects of Computing

, Volume 10, Issue 3, pp 290–306 | Cite as

Formalization of Time and Space

  • Eric C. R. Hehner
Original Paper


Time and space limitations can be specified, and proven, in exactly the same way as functionality. Proofs of time bounds, both implementation-independent and real-time, and of space requirements, both worst-case and average-case, are given in complete detail.

Keywords: Formal methods; Time bounds; Real-time programming; Space bounds; Average space 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Eric C. R. Hehner
    • 1
  1. 1.Department of Computer Science, University of Toronto, Toronto, CanadaCA

Personalised recommendations