software testing; software verification; counter example generation