Quote: using correct traces to identify the cause of multiple, erroneous traces of a model checker

Quotation Skeleton

An error trace [from a model checker] can be very lengthy … an error trace to understand the cause of … Model checkers function by exhaustively exploring the reachable … model checker's internal data structures contain, in addition … which the property is not violated. Our insight … trace. In particular, our algorithm identifies the transitions … statements that induce these transitions are likely to … the location of each cause and re-runs the …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: error messages (37 items)
Topic: model checker (49 items)