arXiv
Open Access
2017
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
Wiktor B. Daszczuk
Abstrak
During the project of a communication protocol, many design decisions influence the behavior of the protocol and its correctness. Formal specification and verification of the protocol may prove its correctness. In this paper, an example of a verification of design decision using formal specification in CSM automata and verification in temporal logic is presented.
Topik & Kata Kunci
Penulis (1)
W
Wiktor B. Daszczuk
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2017
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓