Veri cation by Approximate Forward and Backward Reachability," ICCAD (1998)

by G S Govindaraju, D L Dill