Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (9) , 785-793
- https://doi.org/10.1109/32.159839
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Programming and verifying critical systems by means of the synchronous data-flow language LUSTREPublished by Association for Computing Machinery (ACM) ,1991
- A language for compositional specification and verification of finite state hardware controllersProceedings of the IEEE, 1991
- Generating efficient code from data-flow programsPublished by Springer Nature ,1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- The ESTEREL languageProceedings of the IEEE, 1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986