Invariant Checking Combining Forward and Backward Traversal.

Christian Stangier, Thomas Sidle

Browse the full FMCAD paper archive.