Characterizing finite Kripke structures in propositional temporal logic
- 1 July 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 59 (1-2), 115-131
- https://doi.org/10.1016/0304-3975(88)90098-9
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Automatic Verification of Sequential Circuits Using Temporal LogicIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The power of the future perfect in program logicsInformation and Control, 1985
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Hierarchical verification of asynchronous circuits using temporal logicTheoretical Computer Science, 1985
- From synchronization tree logic to acceptance model logicLecture Notes in Computer Science, 1985
- Deciding full branching time logicInformation and Control, 1984
- The temporal logic of branching timeActa Informatica, 1983
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980