Verification of concurrent programs: Temporal proof principles
- 19 November 2005
- book chapter
- Published by Springer Science and Business Media LLC
- p. 200-252
- https://doi.org/10.1007/bfb0025785
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The temporal semantics of concurrent programsPublished by Springer Science and Business Media LLC ,2005
- The temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1981
- Synthesis of Resource Invariants for Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1980
- The modal logic of programsLecture Notes in Computer Science, 1979
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976