6.4 Checks that the protocol checker performs

This section describes the checks that the protocol checker performs, and the areas of the specifications that they apply to.

This section contains the following subsections:
Non-ConfidentialPDF file icon PDF version100962_0200_03_en
Copyright © 2014–2018 Arm Limited (or its affiliates). All rights reserved.