Search alternatives:
bounded verification » based verification, aided verification
bounded variations » boundary variations, bounded variables
bounded verification » based verification, aided verification
bounded variations » boundary variations, bounded variables