Verification Techniques

Methods that make outputs reliable.