Predictive reachability using a sample-based approach (2005)

by D Sahoo, J Jain, S K Iyer, D Dill, E A Emerson
Venue:In Proc. of Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of LNCS