National University of Defense Technology, 410073 ChangSha, HuNan, China;
机译:验证RTL Verilog的单词级谓词抽象和提炼技术
机译:程序逻辑演算中的谓词抽象
机译:将约束逻辑编程应用于SQL语义分析
机译:使用约束逻辑编程对RTL Verilog描述进行谓词抽象
机译:用于不确定性的设计约束的谓词逻辑表示,支持基于集合的设计范例
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:用于验证RTL Verilog的字级谓词抽象和细化
机译:用于验证RTL Verilog的词级谓词抽象和细化