×

SIGREF公司

swMATH ID: 859
软件作者： 拉尔夫·威默（Ralf Wimmer）；马克·赫伯斯特里特；赫尔曼斯，霍尔格；凯利·斯特兰普；贝恩德·贝克尔
描述： 我们提出了一种统一的基于签名的方法来计算最流行的互模拟。我们的方法是使用BDD象征性地实现的，它支持处理非常大的过渡系统。用于互模拟的签名是由几个通用构建块构建的，这些构建块自然对应于高效的BDD操作。因此，定义适当的签名是快速开发其他类型互模拟算法的关键。
我们通过在真实世界实例上展示许多互模拟的计算结果，为该方法的可行性提供了实验证据。实验表明，我们的框架可以有效地处理太大的状态空间，任何需要显式状态空间描述的工具都无法处理。
主页： http://ira.informationk.uni-freiburg.de/software/sigref/
相关软件： 棱镜;CADP公司;MRMC公司;政治公众人物协议;CEGAR公司;Exp.未结;并发工作台;NuSMV公司;自旋蛋白;CUDD公司;LNT2LOTOS公司;西尔文;机械5;M-树;克洛诺斯;fc2工具;mCRL2型;共刺激物;CAESAR_解决;MWB公司
引用于： 16文件
更多出版物： http://ira.informatik.uni-freiburg.de/software/sigref/#出版物

标准文章

1出版物描述软件，包括1出版物以zbMATH为单位 年份
SIGREF–一个符号化的交互模拟工具箱。 Zbl 1161.68631号
拉尔夫·威默;马克·赫伯斯特里特;霍尔格·赫尔曼斯;凯利·斯特兰普;贝恩德·贝克尔
2006
全部的 前5名

32位作者引用

5 Joost-Pieter卡托恩
4 霍尔格·赫尔曼斯
2 克里斯蒂安·德内特
2 大卫·詹森（David N.Jansen）。
2 丹尼尔·克林克
2 弗雷德里克·朗
2 安德烈亚·图里尼
1 贝恩德·贝克尔
1 埃卡德·伯德
1 亚历山大·布尔加科夫
1 彼得·布利切夫。
1 塞勒姆·德里萨维
1 卢卡·迪·斯特法诺
1 休伯特·加拉维
1 Daniel E.Gebler。
1 托马斯·吉布森·罗宾逊
1 马克·赫伯斯特里特
1 蒂姆·凯姆纳
1 Leucker，马丁
1 Neuhäußer，Martin R。
1 大卫·F·帕克。
1 托马斯·佩肯坎普
1 詹·亨德里克·拉科夫
1 安德鲁·威廉·罗斯科
1 凯利·斯特兰普
1 米歇尔·沃尔帕托
1 拉尔夫·维默（Ralf D.Wimmer）。
1 克尔斯滕·温特
1 塞缪尔·维奇梅耶
1 维雷娜·沃尔夫
1 尼桑萨拉·亚塔帕纳奇
1 伊万·萨普雷夫。
全部的 前5名

6篇连载文章中引用

1 编程和计算机软件
1 理论计算机科学
1 信息与计算
1 计算的形式化方面
1 系统设计中的形式化方法
1 计算机科学中的逻辑方法

在5个字段中引用

16 计算机科学（68至XX）
2 概率论与随机过程（60-XX）
1 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文