×

玛丽亚

swMATH ID: 4127
软件作者: M“akel”a,马可
描述: 玛丽亚:代数系统网的模块可达性分析器Maria对具有公平约束的高级Petri网进行仿真、详尽可达性分析和实时LTL模型检查。代数包含强大的内置数据类型和操作。模型可以导出到低级Petri网和标记转换系统。翻译程序允许Maria分析转换系统以及用过程语言或面向对象语言或高级规范(如SDL)编写的分布式计算机程序。par Maria已经在可移植的C和C++中实现,并且在GNU通用公共许可证的条件下可以免费使用。
主页: http://www.tcs.hut.fi/Software/maria/
相关软件: 洛拉;Uppaal公司;M-网络;伊莎贝尔;政治公众人物;克洛诺斯;产品;CPN/工具;临时技术秘书处;拍打;莫德;Coq公司;续订;克拉姆;蓬夫;网论;LTL2BA公司;海伦娜;现场;自旋蛋白
引用于: 19文件

按年份列出的引文