Illustration
[62] Example of a specification contradiction
[62] Example of a specification contradiction
[63] Example of a start contradiction
[63] Example of a start contradiction
[64] Example of a run-time contradiction
[64] Example of a run-time contradiction
Error handling
163