Boundary Condition Example/Boundary

1. Stating the safety conditions, or things that should not happen during the program.
2. Stating the safety conditions in logically computable statements.
3. Stating these conditions in precise terms, or terms already defined in a given vocabulary.