/** PROMELA Validation Model* 协议层验
原创
2023-06-15 15:43:51
70阅读
/** PROMELA Validation Model* 协议层验
原创
2023-06-15 16:03:33
2846阅读
一、实验目的 1.熟悉GO-BACK-N协议，并能用PROMELA语言正确描述 2.掌握用SPIN验证协议的方法 二、实验原理 对于给定的一个使用PROMELA描述的协议系统，SPIN可以对其执行任意的模拟，也可以生成一个C代码程序，然后对该系统的正确性进行有效检验，并报告系统中出现的死锁，无效的循环，未定义的接受和标记不完全等情况。 三、实验仪器 PC机 四、实验内容 用PROMELA描述Go-
/** PROMELA Validation Model* 协议层验证** 验证BCL可靠性协议C version1.0** Yuhuang
原创
2023-06-23 07:44:16
112阅读
早上7点起床，困……8点整到达实验室，除了马老师,基本没人。道了声早便开始工作了。今天还是承接昨天的工作，以老师的博士论文为切入点来学习通信协议正确性的证明。Google到了几份论文，发现以学习Promela语言和Spin工具为切入点应该会比较有头绪。很幸运地找到了一篇名为《SPIN Beginners' Tutorial》的入门教程，简明清晰，十分适合入门。于是下面一天的事情都是围绕这个教程展开
原创
2023-06-15 14:00:19
101阅读
