![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
模型检测
叫我彦祖
这个作者很懒,什么都没留下…
展开
-
GROOVE建模学习笔记
本文主要是针对用建模、验证工具GROOVE进行建模的一些学习记录。GROOVE使用各种图形修饰来显示规则和图形,例如颜色、粗体和斜体、虚线和虚线轮廓以及特殊符号。但是,在编辑过程中,输入的节点和边标签没有这些修饰。相反,您必须使用相当丰富的文本语法来进行相同的区分。该语法中的主要元素是前缀,通常由一个标识符后跟一个冒号(':')组成。一、GROOVE基于节点和有向边的图。图形节点用方框表示,边用箭头表示;节点标签写在节点中,边标签沿着箭头或在箭头的顶部。节点标签有...原创 2021-07-15 19:36:43 · 183 阅读 · 0 评论 -
GROOVE—建模及形式验证工具
本文针对可用于模型检测的工具Groove的一些内容。鉴于csdn、百度、知乎等都没有很多相关内容,特记录一些学习过程中遇到问题,以便大家讨论。内容如有任何不当地方,请不吝赐教,万分感谢。一、软件官网及下载问题官网地址:https://groove.ewi.utwente.nl/下载地址:https://sourceforge.net/projects/groove/在几个同名软件的影响下没能第一时间顺利找到、下载这个软件。在此贴出官网和下载界面,帮助需要的小伙伴避免浪费时间。二、Gr原创 2021-07-10 19:30:59 · 517 阅读 · 0 评论