Abruptly Terminated Connections in Tcp | a Veriication Example

Abstract

The paper presents the veriication of a functional misbehavior in TCP, that is one of the widely used transport protocols used in the Internet. The solution that was developed by I. Heavens is veriied for its correctness. A model checking approach is used to verify TCP: the protocol is described in LOTOS and the requirements are given in the modal-calculus… (More)

Topics

1 Figure or Table

Cite this paper

@inproceedings{Schieferdecker1996AbruptlyTC, title={Abruptly Terminated Connections in Tcp | a Veriication Example}, author={Ina Schieferdecker}, year={1996} }