Implementing a model checking algorithm by adapting existing automated tools
- 1 January 1990
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 179-188
- https://doi.org/10.1007/3-540-52148-8_15
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Science and Business Media LLC ,2005
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969