×

MONA公司

swMATH ID: 6170
软件作者: 克拉伦德,尼尔斯;莫勒,安德斯;迈克尔·施瓦茨巴赫(Michael I.Schwartzbach)。;J·埃尔加德。
描述: MONA实施秘密。MONA工具为逻辑WS1S和WS2S提供了基于自动机的决策过程的实现。它已用于许多应用程序,并且在实践中非常有效,尽管它面临着理论上非基本的最坏情况复杂性。在六年的时间里,实施已经成熟。与第一个原始版本相比,目前的工具速度快了几个数量级。这种加速是从许多不同的贡献中获得的,这些贡献致力于公式的各级编译和执行。我们概述了MONA以及多年来发现和测试的一些实现“秘密”,包括公式简化、DAG化、引导树自动机、三值逻辑、急切最小化、基于BDD的自动机表示和缓存感知数据结构。我们描述了这些技术,并通过使用MONA工具的不同版本进行实验,量化了它们各自的效果,而MONA工具又忽略了其中的每一个版本。
主页: http://www.brics.dk/mona/
关键词: 一元二阶逻辑;有限状态自动机;MONA工具
相关软件: z3(零3);DCVALID公司;伊莎贝尔/HOL;NuSMV公司;Uppaal公司;莫塞尔;简化;CESAR公司;雷克斯;自旋蛋白;伊莎贝尔;高超声速;PVS公司;HIP(热等静压);幻灯片;睫毛;快速;找不同;廷巴克;VAMPIRE公司
引用于: 142文件
更多出版物: http://www.brics.dk/mona/publications.html
全部的 前5名

241位作者引用

9 汤姆·沃纳
6 尼尔斯·克拉伦德
6 维克多·昆卡
5 费利克斯·克莱特克
5 Ondřej Lengál
5 帕里托什·K·潘迪亚。
4 David A.Basin。
4 艾哈迈德·博阿贾尼
4 特夫菲克·布尔坦
4 哈维尔·埃斯帕尔扎
4 卢卡什·霍利克
4 亚历山大·兰格
4 马丁·里纳德。
4 彼得·罗斯马尼思
4 穆利·萨吉夫
4 迈克尔·施瓦茨巴赫。
4 莫西·亚亚科夫·瓦尔迪
阿卜杜勒瓦赫布·阿亚里
布鲁诺·库塞尔
安德斯·佩佩·默勒
阮秀海
玛格斯·维纳斯
克里斯托夫·韦尔泽尔
2 帕罗什·阿齐兹·阿卜杜拉
2 君士坦丁·巴齐斯
2 凯·鲍库斯
2 尼古拉·S·比约纳。
2 伯纳德·博伊格洛特
2 贝内迪克特·博利格
2 马吕斯·博兹加
2 亚历山德罗·西马蒂
2 约琴·艾辛格
2 约塔姆·M·Y·费尔德曼。
2 汤姆·菲多尔
2 法比奥·菲奥拉万蒂
2 格奥尔格·戈特洛布
2 彼得·哈贝梅尔
2 克劳斯·哈弗伦德
2 沃伊特·哈夫勒纳
2 拉杜·奥西夫
2 约阿希姆·奈伊斯
2 亚辛·拉赫内奇
2 克里斯托夫·Löding
2 安托万·梅耶
2 奥德·帕顿
2 Doron A.Peled。
2 阿尔贝托·佩特罗西
2 莱因哈德·皮克勒
2 阿米尔·普努利
2 毛里齐奥·普罗埃蒂
2 米哈伊尔·拉斯金
2 费利克斯·雷德尔
2 莎伦·肖姆
2 约瑟夫·西法基斯
2 索姆纳特·锡达尔
2 卡斯滕·斯塔尔
2 卢卡斯·塔巴哈拉。
2 斯特凡诺·托内塔
2 德米特里·特拉泰尔
2 乌埃尔、古雷
2 阿莫尔·瓦坎卡尔
2 托马斯·怀斯
2 格雷塔·约什
1 西里亚克·艾斯瓦里亚
1 穆阿特·阿尔卡拉夫
1 斯特凡·阿恩伯格
1 阿夫尼,盖伊
1 克拉克·W·巴雷特。
1 斯蒂芬·巴特
1 尼古拉斯·贝尔迪塞努
1 萨德克·本萨勒姆
1 谢尔盖·贝雷津
1 鲁道夫·伯哈默
1 斯特凡·伯格霍费尔
1 Bès,亚历克西斯
1 阿明·比尔
1 杰西·宾厄姆。
1 史蒂文·伯德
1 伯恩哈德·布利姆
1 克里斯托弗·布鲁姆
1 Jean-Paul Bodeveix公司
1 托马斯·博兰德
1 H.J.Sander,布鲁金克
1 卡尔森,Mats
1 安东尼奥·考伊
1 科什卡,米兰
1 查克拉波蒂,苏普拉特克
1 纳撒尼尔·查尔顿
1 悉达多·查特吉
1 纳米特·查图尔维迪
1 魏恩根·钦
1 阿提什·达塔·乔杜里
1 汤姆·康奈尔
1 Jean-Michel库弗勒
1 阿克塞尔·达尔伯格
1 尼尔斯·达姆加德
1 洛丽斯·达安东尼
1 克里斯蒂娜·大卫
1 达克斯,基督徒
1 马尔滕·德·里杰克
…还有141位作者

按年份列出的引文