Ada'

ORA

A subset of Ada used by the Penelope verification system. It omits tasking, generics, fixed and floating point.

"Formal Verification of Ada Programs", D. Guaspari et al, IEEE Transactions on Software Engineering 16(9):1058-1075 (Sept 1990).