Fast and Generalized Polynomial Time Memory Consistency Verification. - Amitabha Roy 002; Stephan Zeisset; Charles J. Fleckenstein; John C. Huang (CAV, 2006)