×

莫纳

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

标准条款

2个出版物描述软件，包括2个出版物在zbMATH 年
MONA实现秘密。 Zbl 1066.68079
克拉伦，尼尔斯;默勒，安德斯;施瓦茨巴赫，迈克尔一世。
2002
MONA实现秘密。 Zbl 0989.03500
克拉伦，尼尔斯;默勒，安德斯;施瓦茨巴赫，迈克尔一世。
2001
全部的 前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位作者
全部的 前5名

引用32个系列

6 理论计算机科学
6 系统设计中的形式化方法
4 信息与计算
三 自动推理杂志
三 计算的形式化方面
三 国际计算机科学基础杂志
2 信息处理信函
2 计算机科学评论
2 程序设计中的逻辑和代数方法杂志
1 信息学报
1 人工智能
1 离散应用数学
1 国际通用系统杂志
1 计算机程序设计学
1 逻辑、语言与信息杂志
1 应用非经典逻辑杂志
1 数理逻辑季刊
1 函数程序设计杂志
1 限制条件
1 计算系统理论
1 ACM杂志
1 欧洲理论计算机科学协会公报
1 高阶与符号计算
1
1 逻辑与代数程序设计杂志
1 计算机语言、系统与结构
1 应用逻辑杂志
1 离散优化
1 数学百科全书及其应用
1 计算机科学中的逻辑方法
1 计算理论学报
1 伦敦皇家学会哲学汇刊。A、 数学、物理和工程科学
全部的 前5名

在10个字段中引用

125 计算机科学（68-XX）
53 数理逻辑与基础（03-XX）
6 博弈论、经济学、金融学和其他社会和行为科学（91-XX）
4 组合数学（05-XX）
1 序，格，有序代数结构（06-XX）
1 群论与推广（20-XX）
1 量子理论（81-XX）
1 运筹学，数学规划（90-XX）
1 系统论；控制（93-XX）
1 信息与通信理论，电路（94-XX）

按年份引用出版物