Searching for "Formal Verification of Communication Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Formal Verification of Communication Protocols
by James Leathrum Jr, Rasha M. B. E. Morsi, Thomas E. Leathrum
…Formal Verification of Communication Protocols James F. Leathrum, Jr. Rasha M.B.E. Morsi Old…
Add To MetaCart

Formal Verification of Communication Protocols
by M. A. S. Smith — 1996 — FORTE/PSTV'96 Conference
…Formal Verification of Communication Protocols M. A. S. Smith Laboratory for Computer Science…
Cited by 22 (4 self) – Add To MetaCart

Formal verification of communication protocols in distributed systems
by Edgar Pek, Nikola Bogunović — 2003 — in MIPRO 2003, Proceedings of the Joint Conferences Computers in technical systems and Intelligent
…Formal Verification of Communication Protocols in Distributed Systems Edgar Pek and Nikola…
Cited by 3 (2 self) – Add To MetaCart

OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link
by Mathematik Informatik, Trierer Forschungsberichte, Trierer Forschungsberichte, Fachbereich Iv, Fachbereich Iv, Christoph Meinel, Christian Stangier — 1997
… there is no further knowledge about formal verification of communication protocols using OBDDs, we use two common data…
Add To MetaCart

Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts
by Jürgen Bohn, Werner Damm, Hartmut Wittke, Jochen Klose, Adam Moik — 2002 — Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002
… version now marketed by I-Logix, which supports formal verification of communication protocols captured…
Cited by 10 (2 self) – Add To MetaCart

Correctness of At-Most-Once Message Delivery Protocols
by Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen — 1994
… of formal description and verification for communication protocols. Specifically, we present the results…
Cited by 13 (6 self) – Add To MetaCart

Verifying a Bounded Retransmission Protocol using VIS
by Robert Meolic Tatjana, Tatjana Kapus, Zmago Brezocnik
… first application of VIS to formal verification of communication protocols. The good results encourage…
Add To MetaCart

Communication Protocols for Embedded Wireless Systems
by Thomas Eugene Truman, Thomas Eugene Truman
… to the Formal Verification of Communication Protocols...........................................94 4.1 Overview…
Add To MetaCart

Proving hybrid ¡ protocols correct
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse, Xiaoming Liu — 2001 — In R. Boulton and P. 14 Jackson (Eds.), International Conference on Theorem Proving in Higher Order Logics, Volume 2152 of Lecture Notes in Computer Science
… formal verification of communication protocols, we have developed a formal model of distributed…
Cited by 1 (1 self) – Add To MetaCart

Formal verification of an O.S. submodule
by N. S. Pendharkar, K. Gopinath — 1530 — Lecture Notes in Computer Science
… in the concrete space follows. Currently, much work is being done in the formal verification of the communication…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB