Libraries are named collections of named specifications.
In the foregoing chapters, we have seen many examples of named specifications, and of references to them in later specifications. This chapter explains how a collection of named specifications can itself be named, as a library. The creation of libraries facilitates the reuse of specifications. For practical applications, it is important to be able to reuse (at least) existing specifications of basic datatypes, such as those described in Chap. 12.
- Version Control
- Proof Obligation
- Version Number
- Operation Symbol
- Decimal Fraction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.