DCVALID公司 swMATH ID: 20416 软件作者： P.潘迪亚 描述： DCVALID：一个用于对持续时间微积分公式进行模型检查的工具。DCVALID是一个检查持续时间微积分公式有效性的程序。它可以用作可视化DC规范并检查其一致性的工具。它还可以与其他工具一起用于对系统的DC属性进行建模检查。目前，支持使用SMV、Verilog VIS）、ESTEREL和SPIN编写的系统。DCVALID基于量化离散时间演算（QDDC）的自动机理论决策过程。对于每个公式D，我们构造了一个有限状态自动机a（D），它精确地接受满足D的有限状态序列。该自动机可以用于发现模型和计数器模型，或者用作模型检查的同步观测器（或监视器）。DCVALID使用MONA，该MONA提供了基于多终端BDD的高效自动机表示，并实现了自动机操作的算法，如乘积、投影、确定和最小化。 主页： http://www.tcs.tifr.res.in/~pandya/dcvalid.html 相关软件： MONA公司；IDLVALID公司；Uppaal公司；克洛诺斯；MRMC公司；模式图；集成电路；伊莎贝尔；z3（零3）；CUDD公司；NuSMV公司；自旋蛋白；UniForM公司；SLMC公司 引用于： 16文件 全部的 前5名20位作者引用 8 帕里托什·K·潘迪亚。 2 迈克尔·赖赫哈特·汉森 2 阿莫尔·瓦坎卡尔 1 托马斯·博兰德 1 布雷克林（Aske Wiid Brekling） 1 安东尼奥·考伊 1 查克拉波蒂，苏普拉特克 1 查克拉沃蒂，高拉夫 1 Hansen，Jens Ulrik简斯·乌尔里克 1 海尔格·贾尼克 1 萨瓦斯·科努尔 1 桑卡拉·纳拉亚南·克里希纳 1 马华东 1 本·C·莫斯科夫斯基。 1 潘安敦 1 沙尔玛，巴比塔 1 詹乃军 1 张苗苗 1 朱佳奇 1 祖、权 全部的 前5名引用于6个系列 2 信息与计算 1 计算机科学与技术杂志 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 计算机科学前沿 在2个字段中引用 15 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 按年份列出的引文