×

IDLVALID公司

swMATH ID: 20417
软件作者: 帕里托什·K·潘迪亚。
描述: IDLVALID:模型检验密集时长微积分公式。持续演算是一种密集的时间间隔时序逻辑,其结构允许测量一个命题在一个时间间隔内保持的时间量。区间持续逻辑是其变体,其中模型是有限时间状态序列。许多例子说明了这些逻辑的表达能力。虽然这些逻辑中公式的有效性是无法确定的,但为了实际应用,人们对寻找这些逻辑公式有效性和模型检查的技术和工具颇感兴趣。然而,实现这些方法的可用工具很少。
主页: http://www.tcs.tifr.res.in/~pandya/idlvalid.html
相关软件: DCVALID公司;Uppaal公司;克洛诺斯;MONA公司;莫德哈特;内部控制系统;伊莎贝尔;陆军装备司令部;高超声速;MoDeST公司;NuSMV公司;兔子
引用于: 10文件

2篇连载文章中引用

1 计算的形式方面
1 计算机科学前沿

按年份列出的引文