Papers

Efficient Model Checking Using Tabled Resolution by Y.S. Ramakrishna, C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka, T. Swift, and D.S. Warren. Proceedings of the Ninth International Conference on Computer Aided Verification (CAV'97), Haifa, Israel, Lecture Notes in Computer Science, Vol. 1243, Springer-Verlag (July 1997).

Fully Local and Efficient Evaluation of Alternating Fixed Points by X. Liu, C.R. Ramakrishnan, and S.A. Smolka. Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lecture Notes in Computer Science, Springer-Verlag (April 1998).

Tabulation-based Induction Proofs with Application to Automated Verification by A. Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan, and S.A. Smolka. Proceedings of the International Workshop on Tabulation in Parsing and Deduction 1998 (TAPD'98), Paris, France (April 1998).

Logic Programming and Model Checking by Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumac, C.R. Ramakrishnan, I.V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, and David S. Warren. To appear in Proceedings of PLIP/ALP'98.

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools by Yifei Dong, Xiaoqun Du, Y.S. Ramakrishna, C.R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, and David S. Warren. To appear in TACAS'99.

An Optimizing Compiler for Efficient Model Checking by Yifei Dong and C.R. Ramakrishnan.

Verification of Parameterized Systems using Logic Program Transformations by Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan and Scott A. Smolka. To appear in Proceedings of TACAS 2000.

XMC: A Logic-Programming-Based Verification Toolset by C.R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka. Submitted to CAV'2000.