×

现场

swMATH ID: 9473
软件作者: Duret-Lutz,A。;波特雷诺。
描述: SPOT:使用基于转换的广义Büchi自动机的可扩展模型检查库。SPOT(SPOT生成我们的痕迹)是一个C++库,它提供了模型检查块,可以与第三方工具组合和接口来构建模型检查器。它依赖于基于转换的广义Büchi自动机(TGBA),不需要对这些自动机进行去泛化来检查它们的空性。我们通过演示LTL(线性时序逻辑)到TGBA的一个非常简单(但有效)的翻译来激励TGBA的选择。然后我们将展示它如何支持实时计算,以及如何在其他工具中扩展或集成它
主页: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1348184
相关软件: 自旋蛋白;LTL2BA公司;NuSMV公司;猫头鹰;拉比尼泽;棱镜;德拉格;Uppaal公司;github;条纹;nuXmv(数字);磅/吨;交流发电机2;BEEM公司;BoSy公司;相思树+;Cadence SMV公司;MoChiBA公司;超小卫星;ltl2dstar公司
引用于: 61文件
全部的 前5名

165位作者引用

8 简·Křetínsk
7 Moshe Ya’akov瓦尔迪
6 亚历山大·杜雷特·卢茨
6 所罗门·西克特
4 克里斯特尔·拜尔
4 托拜厄斯·梅根多夫
4 张丽君
弗兰蒂舍克·布拉胡德克
哈维尔·埃斯帕尔扎
约阿希姆·克莱因
李建文
米勒(David I。
浦、葛光
斯特雷切克,简
2 安吉洛·费兰多
2 伯恩德·芬克贝纳
2 何继峰
2 西蒙·扬奇
2 Niklas O.Metzger。
2 秦、郑
2 艾蒂安·雷诺
2 克里斯汀·伊冯·罗泽尔
2 菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier)
2 Shan、Laixiang
2 克拉拉·沃尔德曼
2 马克西米利安·威宁格
2 朱淑芳
1 亚历山德罗·阿巴特
1 德里亚·阿克莎莱
1 达拉·阿拉杰
1 安帕罗雷,埃尔维奥·吉尔伯托
1 苏海卜·巴里尔
1 良太郎班诺
1 塔马斯·巴塔
1 Calin A.Belta。
1 卞、宋
1 朱利安·布伦纳
1 马可·卡卡莫
1 拉斐尔·卡多佐(Rafael C.Cardoso)。
1 卡卢·卡布雷拉·卡斯蒂略
1 大卫·贾科莫
1 陈明石
1 奥马尔·切尔考伊
1 Chivilikhin博士。
1 亚历山德罗·西马蒂
1 兰斯·克莱维兰
1 科宁,诺琳
1 马克西米利安·科朗格
1 Jean-Michel库弗勒
1 拉格文德拉五世(Raghvendra V.Cowlagi)。
1 雷蒙·达赫塞特
1 弗雷德里克·达多
1 达尼尔·达瓦斯
1 鲁迪·迪卡
1 丹尼尔·迪特施
1 雷娜·迪米特洛娃
1 苏珊娜·多纳泰利
1 基韦利多佛里
1 杜晓敏
1 杰罗姆·杜波伊斯
1 斯文·齐亚德克
1 萨米·伊万格利斯塔
1 乌里·法伦贝格
1 方洁
1 玛丽·法雷尔
1 冯伟志
1 迈克尔·费希尔
1 哈达尔·弗兰克尔
1 弗龙克,乌卡斯
1 弗朗西斯科·加拉
1 皮埃尔·甘蒂
1 亚历山大·巴吉迪·艾塞
1 马哈萨·加西米
1 Clément吉拉德
1 安德拉斯·吉尔吉
1 Shigeki Hagihara
1 克里斯托弗·哈恩
1 恩斯特·莫里茨·哈恩
1 西尔万·霍尔
1 沃伊特·哈夫勒纳
1 马蒂亚斯·海兹曼
1 何希明
1 霍拉克,汤姆
1 彼得·格约尔·詹森
1 托拜厄斯·约翰
1 Timothy M.琼斯。
1 雅克·朱利安德
1 比拉尔·坎索
1 利迪亚·卡夫拉基。
1 阿尼萨·凯里丁
1 斯特凡·基弗
1 费利克斯·克莱恩
1 马吕斯·克劳泽
1 克吕佩尔霍尔茨,萨沙
1 祖扎纳科马尔科娃
1 莫特萨·拉希贾尼安
1 文森特·兰根菲尔德
1 金·古德斯特兰·拉森
1 亨利克·劳科
1 阿波法兹·拉瓦伊
…还有65位作者

按年份列出的引文