Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS -A Case Study--Reference-Cited by-同舟云学术

Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS -A Case Study-

Published:1995 Issue: Volume: Page:338-352
ISSN:0302-9743
Container-title:Theorem Proving with Analytic Tableaux and Related Methods
language:
Short-container-title:

Author:

Schumann Johann

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59338-1_46.pdf

Reference12 articles.

1. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The design of distributed systems — an introduction to Focus (revised version). Technical Report SFB 342/2/92 A, Technische Universität München, 1993.

2. F. Dederichs, C. Dendorfer, and R. Weber. Focus: A Formai Design Method for Distributed Systems. In A. Bode and M. Dal Cin, editors, Parallel Computer Architectures, pages 190–202. Springer, 1993.

3. C. Dendorfer and R. Weber. Development and Implementation of a Communication Protocol — An exercise in Focus. SFB-bericht nr. 342/4/92 a, Technische Universität München, Institut für Informatik, 1992.

4. C. Dendorfer and R. Weber. Form service specification to protocol entity implementation — an exercise in formal protocol development. In R.J. Linn and M. Ü. Uyar, editors, Protocol, Specification, Testing and Verification XII, volume C-8 of IFIP Transactions, pages 163–177, 1992.

5. Chr. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments (System Abstract). In Proc. CADE 12, pages 778–782, June 1994.

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

1. E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover;Advanced Topics in Artificial Intelligence;1999

2. Using Automated Theorem Provers in Verification of Protocols;Applied Logic Series;1998

3. SPTHEO — A PVM-based parallel theorem prover;Parallel Virtual Machine — EuroPVM '96;1996