A Bounded Semantics for Improving the Efficiency of Bounded Model Checking.

Wenhui Zhang, Ya Gao

Browse the full ICECCS paper archive.