Program verification and Ada
- 1 January 1982
- journal article
- Published by Institution of Engineering and Technology (IET) in IEE Proceedings E Computers and Digital Techniques
- Vol. 129 (2) , 55-62
- https://doi.org/10.1049/ip-e.1982.0012
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
This publication has 2 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979