Reasoning About Specifications

This chapter is a discussion about certain kinds of reasoning about mathematical specifications. Such reasoning concerns the implementability of specifications. The discussion relies on the formalisation of clocks given in Chapter 5.