Ada Conformity Assessment Authority
Ada Reference Manual (Ada 202x Draft 17)
H.3 Reviewable Object Code
Object code review and validation are supported by pragmas Reviewable and Inspection_Point.
Ada 2005 and 2012 Editions sponsored in part by