软件搜索-zbMATH Open

伊米尔

swMATH ID:	9468
软件作者：	Hákan L.S.尤尼斯。
描述：	Ymer：统计模型检查器。我们提出了一种用于验证随机离散事件系统概率瞬态特性的工具Ymer。Ymer实现了统计和数值模型检查技术。我们关注Ymer的两个特点：分布式接受抽样和嵌套概率语句的统计模型检查。
主页：	http://link.springer.com/chapter/10.1007/11513988_43
相关软件：	棱镜；VESTA公司；MRMC公司；COSMOS公司；Uppaal公司；克洛诺斯；NuSMV公司；自旋蛋白；等离子体；APMC公司；LiQuor公司；工具箱；风暴；工具箱2；ArgoUML（ArgoUML）；Daikon公司；MC2公司；血浆lab；SGN模拟；HASL公司
引用于：	16文件

4	Legay、Axel
三	哈坎·L·S·尤尼斯。
2	保罗·巴拉里尼
2	克拉克（Edmund Melson jun Clarke）。
2	西里尔·杰古尔
2	萨瓦斯·科努尔
2	金·古德斯特兰·拉森
2	肖恩·塞德瓦兹
1	弗洛里安·阿诺德
1	穆罕默德·埃敏·巴克尔
1	马哈茂德·本特里奥
1	丹尼·鲍尔森（Danny Bougsted Poulsen）
1	卢卡·卡德利
1	保罗·亨里·库内德
1	亚历山大·戴维
1	亚历山大·唐泽
1	玛丽·杜弗洛特
1	盖尔·杜勒鲁（Geir E.Dullerud）。
1	Daniel E.Gebler。
1	玛丽安·盖奥吉
1	古克，丹尼斯
1	哈桑·哈特菲
1	Joost-Pieter卡托恩
1	斯特凡·基弗
1	丹尼尔·克林克
1	Leucker，马丁
1	拉杜·马达尔
1	马吕斯·米库西奥尼斯
1	安德烈·穆拉夫斯基。
1	乔尔·欧·瓦克宁。
1	尼玛·鲁希
1	里德·西蒙斯（Reid G.Simmons）。
1	斯坦内特，迈克
1	乔纳斯·范弗利特
1	马赫什·维斯瓦纳坦
1	比约恩·瓦希特
1	王，于
1	王，郑
1	马修·韦斯特
1	维雷娜·沃尔夫
1	詹姆斯·沃雷尔。
1	保罗·祖利亚尼