- (10) AADL specifications may be processed manually or by tools for analysis and generation. This section documents additional requirements and permissions for determining compliance. Providers of processing method implementations must document a list of those capabilities they support and those they do not support.
NOTES: Notes emphasize consequences of the rules described in the (sub)clause or elsewhere. This material is informative.
