Computational challenges in bounded model checking (International Journal on Software Tools for Technology Transfer, 2005)

(untitled) - Clarke, E; Kroening, D; Ouaknine, J; Strichman, O