Verification of an Axiomatic Requirements Specification

Verification of a system involves the identification of redundancies, incompleteness and inconsistencies of a system definition, description, implementation and execution. A system defined formally, so that system properties can be understood in the same way by people and machines, can be analyzed automatically with respect to both syntax and semantics. With a system so defined, many aspects previously associated with verification can be eliminated. An example specification is used to demonstrate the properties of a system definition which supports elimination of unnecessary verification, maximum use of static verification, and minimum use of dynamic verification.