Citation Tagging
Project 36801 –
Task 1195932
| Instructions: Tag the Citation and add a corresponding Event if applicable. | Task Description: Tag the "9.8.4" Citation | Authority Document URL: Website URI Document URI |
|
Citation Reference: 9.8.4 Citation Guidance: Verify that formal verification or model checking confirms that protocol state machines cannot be driven into unsafe states. | ||
Compare Guidance Text
|
The new guidance differs from the current guidance, see below:
The new guidance is identical to the current guidance.
|
Why are you sending the task back? (optional)