Name
Abstract | ||
|---|---|---|
. We report on the current status of the LMC project, whichseeks to deploy the latest developments in logic-programming technologyto advance the state of the art of system specification and verification. Inparticular, the XMC model checker for value-passing CCS and the modalmu-calculus is discussed, as well as the XSB tabled logic programmingsystem, on which XMC is based. Additionally, several ongoing effortsaimed at extending the LMC approach beyond traditional finite-statemodel... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0056604 | PLILP/ALP |
Keywords | Field | DocType |
model checking,logic programming | Model checking,Horn clause,Program transformation,Programming language,Formal language,Computer science,Formal specification,Finite-state machine,Artificial intelligence,Logic programming,System requirements specification,Distributed computing | Conference |
ISBN | Citations | PageRank |
3-540-65012-1 | 33 | 2.21 |
References | Authors | |
26 | 9 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Baoqiu Cui | 1 | 118 | 7.18 |
| Yifei Dong | 2 | 200 | 17.58 |
| Xiaoqun Du | 3 | 225 | 12.32 |
| K. Narayan Kumar | 4 | 33 | 2.21 |
| C. R. Ramakrishnan | 5 | 1427 | 107.75 |
| I. V. Ramakrishnan | 6 | 1969 | 214.75 |
| Abhik Roychoudhury | 7 | 2449 | 122.18 |
| Scott A. Smolka | 8 | 2959 | 249.22 |
| David Scott Warren | 9 | 2447 | 480.41 |