Registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic for various safety critical applications; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems