Modelling and Verifying a Bounded Retransmission Protocol

No abstract is available for this paper.

• Publication year

  1996

• Venue

  FME 1996

• Publication date

  1996-11-18

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• No references are available for this paper.

• Generating and Employing Witness Automata for ACTLW Formulae

  2022cites this paper
• Verification and Implementation of the Protocol Standard in Train Control System

  2013cites this paper
• Model-checking robuste des automates temporisés via les machines à canaux

  2010cites this paper
• Verifying a Bounded Retransmission Protocol using VIS

  2007cites this paper
• Validation and Veriication of Real Time Systems

  2007cites this paper
• Modeling and Verification of Reliable Messaging by Graph Transformation Systems 4

  2006cites this paper
• Model Checking Self-adaptive Probe Protocols

  2005cites this paper
• Compatibility between shared variable valuations in timed automaton network model-checking

  2005cites this paper
• Formal Verification of Communication Protocols in Distributed Systems

  2003cites this paper
• Automatic Veri cation of Real-time Systemswith Discrete Probability

  2000cites this paper
• Efficient implementation of model-checkers for networks of timed automata

  2000cites this paper
• Modelling and Veri cation of Real-Time Systems Using Timed Automata: Theory and Practice

  1999cites this paper
• Exploring properties of a bounded retransmission protocol with VIS

  1999cites this paper
• Automatic Veri cation of Real-time Systemswith Discrete Probability

  1999cites this paper
• Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL

  1999cites this paper
• Automatic verification of real-time systems with discrete probability distributions

  1999cites this paper
• of the Workshop on Applicability of Formal Methods AFM ’ 98 ( Aarhus , Denmark , June 2 , 1998 )

  1998influential citation
• of the International Workshop on Software Tools for Technology Transfer STTT ’ 98 Aalborg , Denmark , July 12 – 13 , 1998

  1998influential citation
• New Generation of UPPAAL

  1998cites this paper
• Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL

  1997cites this paper
• Uppaal in a nutshell

  1997cites this paper
• The Model Checker SPIN

  1997cites this paper
• The Bounded Retransmission Protocol Must Be on Time!

  1997cites this paper
• Continuous modeling of real-time and hybrid systems: from concepts to tools

  1997cites this paper
• Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL

  1997cites this paper
• Formal Verification of a Power Controller Using the Real-Time Model Checker U PPAAL

  year unknowncites this paper