H.3 Reviewable Object Code
From OC Systems Wiki!
Object code review and validation are supported by pragmas Reviewable and Inspection_Point.
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc.
Ada Reference Manual