Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study

Authors:
Johann Schumann
Affiliations:
-
Venue:
TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Year:
1995

Citing 0
Cited 2

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover

AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Stenning's protocol implemented in UDP and verified in Isabelle

CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41

Quantified Score

Hi-index	0.00

Visualization

Abstract