On the Construction of Monitors for Temporal Logic Properties
Open Access
- 31 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (2) , 181-199
- https://doi.org/10.1016/s1571-0661(04)00252-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Checking formal specifications under simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Optimizing Büchi AutomataPublished by Springer Nature ,2000
- Improved Automata Generation for Linear Temporal LogicPublished by Springer Nature ,1999
- Model Checking of Safety PropertiesPublished by Springer Nature ,1999
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- Defining livenessInformation Processing Letters, 1985
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977