XMC: A Logic-Programming-Based Verification Toolset.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan

Browse the full CAV paper archive.