Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

TYPES
1993
Springer

favoriteEmaildiscussreport

153views Formal Methods» more TYPES 1993»

Proof-Checking a Data Link Protocol

13 years 8 months ago

Proof-Checking a Data Link Protocol

Download igitur-archive.library.uu.nl

Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof development system. Key words: Communication Protocols, I/O Automata, Proof-Checking, Protocol Veri cation, Type Theory.

Leen Helmink, M. P. A. Sellink, Frits W. Vaandrage

Real-time Traffic

Formal Methods | I/O Automata | I/O Automata Theory | Protocol Veri Cation | TYPES 1993 |

claim paper

Related Content

» DataFinland A Semantic Portal for Open and Linked Datasets

» A Capacity Aware Data Transport Protocol for Wireless Sensor Network

» Linked Open Social Signals

» A hybrid FECARQ protocol for lowdelay lossless sequential data streaming

» CrossLayer Link Adaptation Design for Relay Channels with Cooperative ARQ Protocol

» Testing network protocols and signal attenuation in packed food transports

» A Greedy Link Scheduler for Wireless Networks with Gaussian Multiple Access and Broadcast ...

» An Antbased Routing Protocol using Unidirectional Links for Heterogeneous Mobile AdHoc Net...

» A New Routing Protocol in Ad Hoc Networks with Unidirectional Links

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	TYPES
Authors	Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager

Comments (0)