A Fixpoint Based Encoding for Bounded Model Checking.

Alan M. Frisch, Daniel Sheridan, Toby Walsh

Browse the full FMCAD paper archive.