Every program has a inputs, and with that some more ore less direct version of a user interface. You define the acceptable input values and then define what hap

Every program has a inputs, and with that some more ore less direct version of a user interface. You define the acceptable input values and then define what happens with unacceptable ones (and same for combinations). If that were not verifiable, then no program would be.