Proof-Checking a Data Link Protocol
DSpace/Manakin Repository
Proof-Checking a Data Link Protocol
Helmink, L.; Sellink, M.P.A.; Vaandrager, F.W.
(1994) Logic Group Preprint Series, volume 109
(Preprint)
Abstract
A data link protocol developed and used by Philips Electronics is modeled and verified using I/O automata theory. Correctness is computer-checked with the Coq proof development system.
show less
Download/Full Text
Open Access version via Utrecht University Repository
Keywords: Communication Protocols, I/O Automata, Proof-Checking, Protocol Verification, Type Theory
See
more statistics
about this item