On-line model-checking for finite linear temporal logic specifications
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 189-196
- https://doi.org/10.1007/3-540-52148-8_16
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Automated Protocol Validation in Argos: Assertion Proving and Scatter SearchingIEEE Transactions on Software Engineering, 1987
- Specification and verification of concurrent programs by A ∀ automataPublished by Association for Computing Machinery (ACM) ,1987
- Avoiding the state explosion problem in temporal logic model checkingPublished by Association for Computing Machinery (ACM) ,1987
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- A combinatorial approach to the theory of ω-automataInformation and Control, 1981
- Derivatives of Regular ExpressionsJournal of the ACM, 1964