LMC: A System for the Specification and Evaluation of Logic-Based Model Checking

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, and David S. Warren

Abstract:

Bibtex Entry:

@article{RRSW:SEN00,
author = {C. R. Ramakrishnan and  I. V. Ramakrishnan and  Scott A. Smolka and  and David S. Warren},
title = {{LMC}: A System for the Specification and Evaluation of Logic-Based Model Checking},
journal = {ACM Software Engineering Notes},
volume = {25},
number = {1},
pages = {30--},
month = {November},
year = {2000}
}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)