Word-Level Sequential Memory Abstraction for Model Checking.

Per Bjesse

Browse the full FMCAD paper archive.