multi-threaded programs; safety; proof rule; modularreasoning; environment transitions; (transition) predicate abstraction; abstraction refinement; horn clauses;
机译:谓词抽象和优化,以验证多线程程序
机译:验证RTL Verilog的单词级谓词抽象和提炼技术
机译:通过谓词抽象自动进行指针程序的回归验证
机译:谓词抽象和提炼,以验证多线程程序
机译:一个反例指导抽象精炼框架,用于验证并发C程序。
机译:基于抽象的神经网络验证框架
机译:谓词抽象和优化,以验证多线程程序
机译:用于验证RTL Verilog的词级谓词抽象和细化