Closed samm82 closed 6 years ago
In Section 7.4.4 Access Routine Semantics, the highlighted Theoretical Model labels should be changed to "Safety Req-Pb" and "Safety Req-LR" to match the changes in #106
Agreed.
In Section 7.4.4 Access Routine Semantics, the highlighted Theoretical Model labels should be changed to "Safety Req-Pb" and "Safety Req-LR" to match the changes in #106