Originally Posted by Pugilistic Animus
Everything in engineering is an inexact solution...everything!
Hard to let this one go by without comment.
The question as to whether a computer algorithm implemented in code fulfills its specification under the given environmental constraints has two answers: Yes, or no.
It is not at all inexact. This engineering task is an increasingly important part of the world of airplanes nowadays, as it is in other safety-critical domains, so I would have expected people familiar with airplanes to know of it.
PBL