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

Johann Schumann

Published in: TABLEAUX (1995)

Keyphrases

theorem prover
communication protocol
theorem proving
first order logic
automated theorem proving
term rewriting
inference rules
boolean algebra
formal proof
neural network
wifi
communication protocols
response time
natural deduction