Concurrent runtime checking of annotated Ada programs
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An implementation of AnnaACM SIGAda Ada Letters, 1985
- A Methodology for the Design of Ada Transformation Tools in a DIANA EnvironmentIEEE Software, 1985
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- Consistency checking in Ada and AnnaACM SIGAda Ada Letters, 1983
- Stanford Pascal Verifier User ManualPublished by Defense Technical Information Center (DTIC) ,1979