Invariant Checking Combining Forward and Backward Traversal

@inproceedings{Stangier2004InvariantCC,
  title={Invariant Checking Combining Forward and Backward Traversal},
  author={Christian Stangier and Thomas Sidle},
  booktitle={FMCAD},
  year={2004}
}