Verifiable Ada Packages

I. C. Pyle, Fred Long

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)


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 languageEnglish
Title of host publicationSelected Papers from the 1995 Ada UK Conference
Subtitle of host publicationAda User Journal
EditorsM. Smith
Number of pages7
Publication statusPublished - Sept 1995

Publication series

NameAda user
ISSN (Print)0268-652X

Cite this