BMC with Memory Models as Modules.

Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer

Browse the full FMCAD paper archive.