Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.

Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu

Browse the full FMCAD paper archive.