Abstract
This paper considers verification of Ada packages. Any verification must be against some claim. We consider the kinds of claim that might be made for a package, in comparison with the claims that might be made for the constituents of the package. This leads to a classification of packages. We then make recommendations for writing Ada packages, with ease of verification as the goal.
| Original language | English |
|---|---|
| Title of host publication | Selected Papers from the 1995 Ada UK Conference |
| Subtitle of host publication | Ada User Journal |
| Editors | M. Smith |
| Pages | 103-109 |
| Number of pages | 7 |
| Volume | 16 |
| Edition | 3 |
| Publication status | Published - Sept 1995 |
Publication series
| Name | Ada user |
|---|---|
| ISSN (Print) | 0268-652X |