
128 Requirements Engineering for Software and Systems
likely use this technique for requirements verification only for highly mission-
critical situations. For example, the launch/no-launch decision logic for a weapon,
dosage administration logic for some kind of medical equipment, shut-down logic
for a nuclear power plant, and so on.
Theorem Proving
eorem proving techniques can be used to demonstrate that specifications are cor-
rect. at is, axioms of system behavior can be used to derive a proof that a system
(or program) will behave in a given way. Remember, a specification and program
are both the same thing—a model of executio