Specifying, programming and verifying real-time systems using a synchronous declarative language
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 213-231
- https://doi.org/10.1007/3-540-52148-8_18
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- LUSTRE: a declarative language for real-time programmingPublished by Association for Computing Machinery (ACM) ,1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Examples of a real-time temporal logic specificationPublished by Springer Nature ,1985
- Reasoning in interval temporal logicPublished by Springer Nature ,1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983