Concurrent runtime checking of annotated Ada programs
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
A note on the detection of an Ada compiler bug while debugging an Anna program
ACM SIGPLAN Notices
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Ada/ANNA specification analysis
Ada/ANNA specification analysis
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
The complete transformation methodology for sequential runtime checking of an ANNA subset
The complete transformation methodology for sequential runtime checking of an ANNA subset
Two Dimensional Pinpointing: An Application of Formal Specification to Debugging Packages
Two Dimensional Pinpointing: An Application of Formal Specification to Debugging Packages
Concurrent runtime monitoring of formally specified programs
Concurrent runtime monitoring of formally specified programs
Design and verification of distributed tasking supervisors for concurrent programming languages
Design and verification of distributed tasking supervisors for concurrent programming languages
Automatic runtime consistency checking and debugging of formally specified programs
Automatic runtime consistency checking and debugging of formally specified programs
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |