Tutorial on verification of protocols
Number of Authors: 1
1988 (English)Report (Refereed)
The paper is a tutorial on some formal methods for verification of communication protocols. We focus on methods to show that a proposed communication protocol meets its specification by proving safety and liveness properties. Emphasis is put on finite state spaces for which algorithms are available which can be used to mechanise property proving.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 16 p.
SICS Research Report, ISSN 0283-3638 ; R88:12
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14385OAI: oai:DiVA.org:ri-14385DiVA: diva2:1035673
Original report number R88012.2016-10-132016-10-13