A temporal proof methodology for reactive systems
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Verifying temporal properties without temporal logicACM Transactions on Programming Languages and Systems, 1989
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- Completing the temporal picturePublished by Springer Nature ,1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Specification and verification of concurrent programs by A ∀ automataPublished by Association for Computing Machinery (ACM) ,1987
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977