On the use of history variables-Reference-Cited by-同舟云学术

On the use of history variables

Published:1981 Issue:1 Volume:16 Page:15-30
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Clint M.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00289587.pdf

Reference12 articles.

1. Apt, K., Francez, N., De Roever, W.P.: A proof system for communicating sequential processes. Technical Report, Dept. of Computer Science, University of Utrecht, (1979)

2. Clarke, E.M.: Proving correctness of coroutines without history variables. Acta Informat. 13, 169?188 (1980)

3. Clint, M.: Program proving: coroutines. Acta Informat. 2, 50?63 (1973)

4. Clint, M.: The specification and verification of a text-editing program. IEEE Trans. Software Engrg. (in press, 1981)

5. Clint, M., Vicent, C.: The use of ghost variables and virtual programming in the documentation and verification of programs. Software ? Practice and Experience (in press, 1981)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables;Lecture Notes in Computer Science;2018

2. Formal Verification of Distributed Algorithms;Lecture Notes in Computer Science;2012

3. Hoare Logic and Auxiliary Variables;Formal Aspects of Computing;1999-12

4. Methods and Logics for Proving Programs;Formal Models and Semantics;1990

5. A Proof System for Ada Tasks;The Computer Journal;1986-05-01