@inproceedings{d65ec421714f46cab006e63746957a96,
title = "Logic programming and model checking",
abstract = "We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular, the XMC model checker for value-passing CCS and the modal mu-calculus is discussed, as well as the XSB tabled logic programming system, on which XMC is based. Additionally, several ongoing efforts aimed at extending the LMC approach beyond traditional finite-state model checking are considered, including compositional model checking, the use of explicit induction techniques to model check parameterized systems, and the model checking of real-time systems. Finally, after a brief conclusion, future research directions are identified.",
author = "Baoqiu Cui and Yifei Dong and Xiaoqun Du and Kumar, \{K. Narayan\} and Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\} and Abhik Roychoudhury and Smolka, \{Scott A.\} and Warren, \{David S.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998 ; Conference date: 16-09-1998 Through 18-09-1998",
year = "1998",
doi = "10.1007/bfb0056604",
language = "English",
isbn = "3540650121",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "1--20",
editor = "Catuscia Palamidessi and Hugh Glaser and Karl Meinke",
booktitle = "Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings",
}