Exploring Properties of a Bounded Retransmission Protocol with VIS

CIT. Journal of Computing and Information Technology

Meolic, Robert¹  Kapus, Tatjana¹  Brezočnik, Zmago¹ 

[1] Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia

关键词: formal verification;    bounded retransmission protocol;    model checking;    CTL;    Verilog;    VIS;   

DOI  :  

学科分类：计算机科学（综合）

来源: Sveuciliste u Zagrebu

【 摘 要 】

It is of great interest for users of communication protocols to have a proof that they are correct and reliable to use. In order to prove a protocol correct formally, the protocol and the required properties must be form ally described....

【 授权许可】

Unknown