A practical method for reasoning about distributed systems in a theorem prover-Reference-Cited by-同舟云学术

A practical method for reasoning about distributed systems in a theorem prover

Published:1995 Issue: Volume: Page:106-121
ISSN:0302-9743
Container-title:Higher Order Logic Theorem Proving and Its Applications
language:
Short-container-title:

Author:

Busch Holger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60275-5_60.pdf

Reference18 articles.

1. 'Higher Order Logic Theorem Proving and Its Applications', 6th International Workshop, HUG'93, Vancouver, B.C., Canada, August 11–13 1993, Proceedings, J.J. Joyce and C.-J.H. Seger (Eds.), LNCS 780, Springer, 1994.

2. 'Higher Order Logic Theorem Proving and Its Applications', 7th International Workshop, HUG'94, Valetta, Malta, September 1994, Proceedings, T. Melham, and J. Camilleri (Eds.), LNCS 859, Springer, 1994.

3. M. Abadi and L. Lamport, ‘The Existence of Refinement Mappings', Theoretical Computer Science, 81(2),pp. 253–284, May 1991.

4. F. Andersen, K.D. Petersen, and J.S. Pettersson, ‘A Graphical Tool for Proving UNITY Progress', in [2]., pp. 1–15.

5. C.M. Angelo, L. Claesen, H. De Man, ‘Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL', in [1], pp. 89–100.

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

1. Formal methods in an industrial environment;Computer Aided Verification;1998

2. The steam-boiler problem — A TLT solution;Formal Methods for Industrial Applications;1996

3. A solution relying on the model checking of boolean transition systems;Formal Systems Specification;1996

4. Proving liveness of fair transition systems;Lecture Notes in Computer Science;1996

5. Inference rules for programming languages with side effects in expressions;Lecture Notes in Computer Science;1996