Chris Johnson, Index
Leveson's Completeness Criteria
- State Completeness Criteria.
- Consider input effect when state is:
- normal, abnormal, indeterminate.
- Start-up, close-down are concerns.
- Process will change even during
- intervals in which software is `idle'.
- Checkpoints, timeouts etc.