DMCA

Sat based abstraction-renement using ILP and machine learning techniques (2002)

Cached

Download Links

by Edmund Clarke , Anubhav Gupta , James Kukula , Ofer Strichman
Venue:In Proc. of Conference on Computer-Aided Verification (CAV’02), LNCS
Citations:1 - 1 self