Toshinobu Kashiwabara Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
Toshinobu Kashiwabara Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
复制标题
Toshinobu Kashiwabara 使用项高度缩减对一阶逻辑子集进行近似不变属性检查
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kiyoharu Hamaguchi
中科院分区：
文献类型：
--
作者：
Hiroaki Shimizu;Kiyoharu Hamaguchi
登录
查看更多内容
计算使用未解释函数和无限内存建模的系统的可达控制状态
DOI：
10.1007/bfb0028750
发表时间：
1998
期刊：
--
影响因子：
--
作者：
Adrian J. Isles;R. Hojati;R. Brayton
通讯作者：
R. Brayton
用于自动硬件验证的多路决策图
影响因子：
0.8
作者：
F. Corella;Zijian Zhou;Xiaoyu Song;M. Langevin;E. Cerny
通讯作者：
E. Cerny
项级有界模型检查中的收敛性测试
DOI：
10.1007/978-3-540-39724-3_31
发表时间：
2003
期刊：
--
影响因子：
--
作者：
R. Bryant;Shuvendu K. Lahiri;S. Seshia
通讯作者：
S. Seshia
DOI：
10.1007/bfb0031810
发表时间：
1996-01-01
期刊：
FORMAL METHODS IN COMPUTER-AIDED DESIGN
影响因子：
--
作者：
Hojati, R;Isles, A;Brayton, RK
通讯作者：
Brayton, RK
用于验证高级设计的信号转换一致性的符号检查
DOI：
10.1007/3-540-40922-x_28
发表时间：
2000
期刊：
--
影响因子：
--
作者：
K. Hamaguchi;Hidekazu Urushihara;T. Kashiwabara
通讯作者：
T. Kashiwabara