搜索【promela】的结果

Introduction to SPIN & Promela

一个关于SPIN和Promela的简要介绍

2021-10-24 20:26:47 1.07MB SPIN Promela 模型检测

1

PROMELA语言描述协议分析（停等，AB）报告

本文档包含停止等待协议以及AB协议的PROMELA语言描述，帮助我们理解上述两个协议有很大的帮助。

2019-12-21 22:14:02 132KB 网络协议 PROMELA语言

1

并发系统Promela建模、SPIN的使用

并发系统Promela语法规则，并发系统建模和SPIN的使用

2019-12-21 22:11:31 216KB Promela SPIN

1

spin和promela简介

对spin和promela做了个简单总结，还有些简单例子

2019-12-21 20:14:43 745KB spin promela

1

并发系统的Promela语言建模与SPIN模型检测

2019-12-21 18:51:55 2.18MB 并发系统 Promela 建模 SPIN

1