A mechanized refinement framework for analysis of custom memories (0)

by S Ray, J Bhadra
Venue:in Proceedings of the Formal Methods in Computer Aided Design