Logic Programming and Model Checking (1998)
Cached
Download Links
| Venue: | PROCEEDINGS OF PLIP/ALP'98 |
| Citations: | 32 - 6 self |
BibTeX
@MISC{Cui98logicprogramming,
author = {Baoqiu Cui and Yifei Dong and Xiaoqun Du and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan and Abhik Roychoudhury and Scott A. Smolka and David S. Warren},
title = { Logic Programming and Model Checking },
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 approachbeyond 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.
