Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference8 articles.
1. Apt, K.R., Bergstra, J.A., Meertens, L.G.L.T.: Recursive assertions are not enough ? or are they?, Theor. Comput. Sci. 8, 73?87 (1979)
2. Cook, S.A.: Soundness and completeness of an axiom system for program verification, SIAM J. Comput. 7, 70?90 (1978)
3. Lecture Notes in Computer Science 74;M.C.B. Hennessy,1979
4. Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Software Engrg., 3, 125?143 (1977)
5. Owicki, S.: Axiomatic proof techniques for parallel programs. Computer Science Dept., Cornell University. PhD thesis 1975
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Effectively Eliminating Auxiliaries;Theory and Practice of Formal Methods;2016
2. The rely-guarantee method for verifying shared variable concurrent programs;Formal Aspects of Computing;1997-03
3. Proving partial order properties;Theoretical Computer Science;1994-04
4. Tracing the execution of distributed programs;Journal of Systems and Software;1993-06
5. Concurrent Programs as Strategies in Games;Mathematical Sciences Research Institute Publications;1992