Ada-based abstract machine specification of CAIS to generate validation tests

• Authors:

• Timothy E. Lindquist;Jeffrey L. Facemire

• Affiliations:

• Department of Computer Science, Virginia Tech, Blacksburg, Virginia;Department of Computer Science, Virginia Tech, Blacksburg, Virginia

• Venue:
• WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
• Year:
• 1985