|
|
|
|
|
|
by AstralStorm
3335 days ago
|
|
|
Many embedded safety and medical applications prove correctness for all inputs and their combinations. Somme also verify error behaviour. (Out of range.) Granted, this is a relatively small input space, typically a few sensors. |
|
|