Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
复制标题

基于拟布尔代数的 LTL 高效多值有界模型检查

DOI：
--
复制
发表时间：
2012
期刊：
Special Section on Formal Approach, IEICE Transactions on Information and Systems
影响因子：
--
通讯作者：
Yukiyoshi Kameyama
Yukiyoshi Kameyama
中科院分区：
--
文献类型：
--
作者：
Jefferson O. Andrade;Yukiyoshi Kameyama

文献摘要

相似文献