Данное приложение содержит требования к системам, критически важным с точки зрения безопасности или имеющим ограничения по защите. Оно предоставляет средства и определяет требования к документации, связанные с несколькими потребностями:

Понимание выполнения поддерживается директивой Normalize_Scalars, а также требованиями к реализации документировать эффект программы в присутствии ограниченной ошибки или в случаях, когда языковые правила не определяют эффект.

Директивы Reviewable и Restrictions относятся к другим требованиям, рассматриваемым в этом приложении.