Title :
Program verification and Ada
Author :
McGettrick Andrew, D.
Author_Institution :
University of Strathclyde, Department of Computer Science, Glasgow, UK
fDate :
3/1/1982 12:00:00 AM
Abstract :
One of the design aims of Ada was to provide a language which would encourage the production of reliable programs: An important technique used to provide greater reliability is program verification. In this paper, we comment on the design of Ada from this particular point of view and we indicate particular approaches to the verification of Ada programs.
Keywords :
Ada; programming theory; Ada; Ada programs; program verification; verification;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E
DOI :
10.1049/ip-e.1982.0012
