A simple assertional proof system for real-time systems
- 2 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 167-176
- https://doi.org/10.1109/real.1992.242666
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A simple assertional proof system for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- A relational notation for state transition systemsIEEE Transactions on Software Engineering, 1990
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Assertional verification of a timer based protocolPublished by Springer Nature ,1988
- Time-dependent distributed systems: proving safety, liveness and real-time propertiesDistributed Computing, 1987
- Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming, 1984
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981
- An axiomatic proof technique for parallel programs IActa Informatica, 1976