DMCA

Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs

by Ashutosh Gupta , Corneliu Popeea , Andrey Rybalchenko
Citations:27 - 6 self