×

莫纳

swMATH标识: 6170
软件作者: 克拉伦,尼尔斯;默勒,安德斯;施瓦茨巴赫,迈克尔一世。;埃尔加德,J。
说明: MONA实现秘密。MONA工具为逻辑WS1S和WS2S提供了基于自动机的决策过程的实现。它已经被用于许多应用,并且在实践中非常有效,尽管它面临着理论上非基本的最坏情况复杂度。实施工作在六年时间里已经成熟。与第一个原始版本相比,当前工具的速度提高了几个数量级。这种加速是从许多不同的贡献中获得的,这些贡献涉及到公式的各个层面的编译和执行。我们概述了MONA和一系列多年来被发现和测试的实现“秘密”,包括公式约简、达格化、引导树自动机、三值逻辑、急切最小化、基于BDD的自动机表示和具有缓存意识的数据结构。我们描述了这些技术,并通过对MONA工具的不同版本进行实验来量化它们各自的效果,而MONA工具反过来又忽略了每一个版本。
主页: http://www.brics.dk/mona/
关键词: 一元二阶逻辑;有限状态自动机;MONA工具
相关软件: DCVALID公司;z3型;伊莎贝尔/霍尔;努西姆;乌帕阿尔;简化;伊莎贝尔;旋转;高超声速;雷克斯;臀部;幻灯片;摩泽尔;;塞萨尔;PVS公司;睫毛;棱镜;反链;电子稳定控制系统/Java
参考文献: 131种出版物
其他出版物: http://www.brics.dk/mona/publications.html
全部的 前5名

227位作者引用

9 沃伊纳尔,汤姆š
6 克拉伦,尼尔斯
6 昆卡,维克多
5 克莱德克,费利克斯
5 伦加尔,昂德内伊
5 潘迪亚,帕里托什K。
4 盆地,大卫A。
4 艾哈迈德·布瓦贾尼
4 布尔坦,特夫菲克
4 霍利克,卢卡什
4 兰格,亚历山大
4 里纳德,马丁·C。
4 罗斯曼尼斯,彼得
4 萨吉夫,穆利
4 施瓦茨巴赫,迈克尔一世。
阿亚里,阿布德尔瓦赫布
库塞尔,布鲁诺
默勒,安德斯·帕普
阮惠海
瓦迪,莫希·雅科夫
小牛肉,玛格斯
2 巴茨,康斯坦丁诺斯
2 包库斯,凯
2 比约纳,尼古拉·S。
2 博利格,贝尼迪克
2 艾辛格,约琴
2 埃斯帕扎,哈维尔
2 费尔德曼,约坦·M·Y。
2 菲多,汤姆
2 费奥拉万蒂,法比奥
2 格特洛布,乔治
2 哈伯梅尔,彼得
2 哈夫勒纳,沃吉特什
2 克尼斯,约阿希姆
2 亚辛·拉赫纳奇
2 洛丁,克里斯托夫
2 梅耶,安托万
2 帕顿,奥德
2 佩托罗斯,阿尔伯托
2 皮勒,莱茵哈德
2 普努埃利,阿米尔
2 普罗埃蒂,毛里齐奥
2 雷德尔,费利克斯
2 肖汉,莎伦
2 锡达尔,索姆纳特
2 斯塔尔,卡斯滕
2 崔特尔,德米特里
2 乌内尔,古莱
2 瓦坎卡,阿莫尔
2 维斯,托马斯
2 约什,格雷塔
1 阿卜杜拉,帕罗什·阿齐兹
1 艾斯瓦里亚,西里亚克
1 阿尔卡拉夫,穆阿瑟
1 阿恩堡,斯特凡
1 阿夫尼,伙计
1 巴雷特,克拉克W。
1 巴特,斯蒂芬
1 贝尔迪切努,尼古拉斯
1 本萨勒姆,萨德克
1 贝瑞津,谢尔盖
1 伯格默尔,鲁道夫
1 伯格霍夫,斯特凡
1 Bès,亚历克西斯
1 比尔,阿明
1 宾厄姆,杰西D。
1 伯德,史蒂文
1 天哪,伯恩哈德
1 布鲁姆,克里斯托夫
1 波德维,让保罗
1 伯纳德,博伊格洛特
1 波兰德,托马斯
1 布鲁金克,H.J.桑德
1 卡尔森,马茨
1 安东尼奥,Cau
1 塞斯卡,米兰
1 查克拉波蒂,上提克
1 查尔顿,纳撒尼尔
1 查特吉,悉达多
1 查图尔维迪,纳米特
1 金伟恩
1 乔杜里,阿提什·达塔
1 亚历山德罗·西马蒂
1 康奈尔,汤姆
1 Couvreur,让·米歇尔
1 达尔伯格,阿克塞尔
1 丹格尔,尼尔斯
1 德安东尼,洛丽丝
1 大卫,克里斯蒂娜
1 达斯,克里斯蒂安
1 马尔滕,德里克
1 德马西,索菲
1 迪尔,大卫L。
1 迪玛,Cătălin
1 杜兰德,伊雷纳A。
1 艾特,托马斯
1 雅各布,艾尔加德
1 埃莫托,肯托
1 恩格尔弗里特,乔斯特
1 恩格尔,多米尼克
…还有127位作者

按年份引用出版物