Assertion: real time kernel | /r/HasProperty | a degree of assurance
Facets:
Source sentences:
text: This provides a guarantee that the properties proved about the API actually hold for the real kernel, a degree of assurance which goes beyond even CC EAL7.