IDLVALID公司 swMATH ID: 20417 软件作者: 帕里托什·K·潘迪亚。 描述: IDLVALID:模型检验密集时长微积分公式。持续演算是一种密集的时间间隔时序逻辑,其结构允许测量一个命题在一个时间间隔内保持的时间量。区间持续逻辑是其变体,其中模型是有限时间状态序列。许多例子说明了这些逻辑的表达能力。虽然这些逻辑中公式的有效性是无法确定的,但为了实际应用,人们对寻找这些逻辑公式有效性和模型检查的技术和工具颇感兴趣。然而,实现这些方法的可用工具很少。 主页: http://www.tcs.tifr.res.in/~pandya/idlvalid.html 相关软件: DCVALID公司;Uppaal公司;克洛诺斯;MONA公司;莫德哈特;内部控制系统;伊莎贝尔;陆军装备司令部;高超声速;MoDeST公司;NuSMV公司;兔子 引用于: 10文件 全部的 前5名15位作者引用 7 帕里托什·K·潘迪亚。 2 查克拉波蒂,苏普拉特克 2 桑卡拉·纳拉亚南·克里希纳 1 查克拉沃蒂,高拉夫 1 黛拉·莫妮卡,达里奥 1 约翰·费伯 1 瓦伦丁·F·戈兰科。 1 Jochen Hoenicke公司 1 萨瓦斯·科努尔 1 Loya,Kuntal公司 1 罗兰·梅耶 1 安德烈·里巴尔琴科 1 圭多·西亚维科 1 沙尔玛,巴比塔 1 蒂娜·托马斯 2篇连载文章中引用 1 计算的形式方面 1 计算机科学前沿 在2个字段中引用 8 数学逻辑和基础(03-XX) 8 计算机科学(68-XX) 按年份列出的引文