DMCA

Predicate Abstraction for Murphi

by Xiaofang Chen , Ganesh Gopalakrishnan