论文信息 - Concurrent Runtime Checking of Annotated Ada Programs

Concurrent Runtime Checking of Annotated Ada Programs

Anna is a language for writing machine-processable annotations of Ada programs. One of the main applications of Anna is the runtime checking of an Ada program for consistency with its formal specifications written in Anna. On single-processor systems, Anna runtime checks are used during testing and debugging of software.

Sriram Sankar | David S. Rosenblum | David C. Luckham

[1] Steven M. German,et al. Stanford Pascal Verifier user manual , 1979 .

[2] Edward J. McCluskey,et al. The Watchdog Task: Concurrent error detection using assertions , 1985 .

[3] Olaf Owe,et al. ANNA A Language for Annotating Ada Programs , 1987, Lecture Notes in Computer Science.

[4] David S. Rosenblum. A Methodology for the Design of Ada Transformation Tools in a DIANA Environment , 1985, IEEE Software.

[5] Sriram Sankar,et al. An implementation of Anna , 1985 .

[6] David C. Luckham,et al. An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.

[7] Sriram Sankar,et al. The complete transformation methodology for sequential runtime checking of an ANNA subset , 1986 .

[8] Bernd Krieg-Brückner. Consistency checking in Ada and Anna: a transformational approach , 1983, ALET.