promela

网络协议分析上机报告

请用PROMELA进行描述，并用SPIN模拟运行、一般性验证，无进展循环验证和人为加入错误进验证。
不湿的尿布湿·2023-04-05 03:12

spin简介以及ispin运行样例

工具名称：iSpin工具的适用范围和应用情况：此工具主要是用Promela编写实现。Promela是一种过程建模语言，其预期用途是验证并行系统的逻辑。
小熊有点菜·2020-08-21 08:03

Promela轻松入门教程

最近在学并发开发,里面需要用到Promela语言来检测代码的逻辑Promela用起来很麻烦,不过网上有个WindowsGUI程序,里面还带了很多例子代码,稍微看看就可以懂了工具名称叫JSpin,在这里下载
xlrtx·2020-08-13 23:18

《网络协议分析与设计》实验报告书 实验三

一、实验目的1.熟悉GO-BACK-N协议，并能用PROMELA语言正确描述2.掌握用SPIN验证协议的方法二、实验原理对于给定的一个使用PROMELA描述的协议系统，SPIN可以对其执行任意的模拟，也可以生成一个
cheese0_0·2020-07-04 12:44

《网络协议分析与设计》实验报告书 实验一

一、实验目的1.熟悉数据链路层协议，并能用PROMELA语言正确描述2.掌握用SPIN验证协议的方法二、实验原理对于给定的一个使用PROMELA描述的协议系统，SPIN可以对其执行任意的模拟，也可以生成一个
cheese0_0·2020-07-04 12:43

一个领导者选举算法的Promela建模

一个领导者选举算法的Promela建模Danny Dolev等在1982年提及了一种未改进的extreme-find算法，该算法过程简要描述如下：算法中使用的消息类型有两种：M1：形式为；M2：形式为。
Nickyhw·2012-06-27 00:00

Promela BCL-6 B4.0 Protocol [Incomplete]

/**PROMELAValidationModel*协议层验证**验证BCL可靠性协议Bversion4.0**Yuhuang*2007-7-27*//**本版本特点：采用集合点来通信,允许CHK、RTT、ACK、DATA丢包，实现了队列自动重发。*加入了对传输介质的模拟。介质可以丢包，导致包失序。*加入了对传输介质中存在延迟阻塞的模拟。包可以失序。**加入对CHK的语义实现、接收方向发送方的失序
sabolasi·2007-07-27 19:00

Promela BCL-6 A Protocol

/**PROMELAValidationModel*协议层验证**验证BCL可靠性协议Aversion5.0**Yuhuang*2007-7-26*//**本版本特点：采用集合点来通信,允许ACK、DATA丢包，实现了队列自动重发。*加入了对传输介质的模拟。介质可以丢包，导致包失序。**未完全模拟的问题：ACK、DATA失序问题*//**************数据结构定义************
sabolasi·2007-07-26 19:00

中科院实习（2）

Google到了几份论文，发现以学习Promela语言和Spin工具为切入点应该会比较有头绪。很幸运地找到了一篇名为《SPINBeginners'Tutorial》的入门教程，简明清晰，十分适合入门。
sabolasi·2007-07-26 08:00

中科院实习（2）

Google到了几份论文，发现以学习Promela语言和Spin工具为切入点应该会比较有头绪。很幸运地找到了一篇名为《SPINBeginners'Tutorial》的入门教程，简明清晰，十分适合入门。
sabolasi·2007-07-26 08:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他