A Mechanized Refinement Framework for Analysis of Custom Memories.

Sandip Ray, Jayanta Bhadra

Browse the full FMCAD paper archive.