Found 1 presentation matching your search
A model checker can generate a lengthy and complicated trace of counterexamples for an erroneous pro...