Automatic verification of sequential control systems using temporal logic
- 1 January 1992
- journal article
- research article
- Published by Wiley in AIChE Journal
- Vol. 38 (1) , 67-75
- https://doi.org/10.1002/aic.690380107
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Modeling discrete-event dynamical systems for chemical process control—a survey of several new techniquesComputers & Chemical Engineering, 1990
- Software verification and validation: an overviewIEEE Software, 1989
- Introduction to special issue on dynamics of discrete event systemsProceedings of the IEEE, 1989
- Chemical-system reliability: a reviewIEEE Transactions on Reliability, 1988
- Research on Automatic Verification of Finite-State Concurrent SystemsAnnual Review of Computer Science, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986