Conference Paper (published)
Details
Citation
Bryans J & Shankland C (2001) Implementing a modal logic over data and processes using XTL. In: Kim M, Chin B, Kang D & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, 69. Implementing a modal logic over data and processes using XTL, Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 201-216. http://link.springer.com/chapter/10.1007/0-306-47003-9_13
Abstract
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying properties involving both data and transitions. In this paper we present a restricted prototype implementation of a model checker for LOTOS for queries written using the FULL logic. The model checker is developed within the CADP package using XTL.
Keywords
modal logic; symbolic LOTOS; CADP; XTL
| Status | Published |
|---|---|
| Title of series | IFIP Advances in Information and Communication Technology |
| Number in series | 69 |
| Publication date | 31/12/2001 |
| URL | |
| Publisher | Kluwer Academic Press |
| Publisher URL | |
| Place of publication | New York, Boston, Dordrecht, London, Moscow |
| ISSN of series | 1868-4238 |
| ISBN | 978-0-7923-7470-1 |
| Conference | Implementing a modal logic over data and processes using XTL |
| Conference location | Cheju Island, Korea |
| Dates | – |