VERISURE

computer program for use in measuring how thoroughly a computer code has been evaluated at every stage during the use of the computer code; computer software for use in analyzing and testing computer software design; and printed manuals provided therewith