机译:基于凸多面体抽象和基于树自动机的优化的Horn子句验证
Roskilde Univ, Roskilde, Denmark;
Roskilde Univ, Roskilde, Denmark|IMDEA Software Inst, Madrid, Spain;
Horn clauses; Abstract interpretation; Finite tree automata; Tree automata determinisation;
机译:跟踪抽象细化以解决号角子句
机译:使用Horn子句和模式抽象对PLC软件进行成分验证
机译:验证约束的Horn子句时的树维
机译:基于树自动机的细化及其在Horn子句验证中的应用
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:与富勒烯和病毒有关的具有多面体对称性的第四类凸等边多面体
机译:Horn子句验证中的凸多面体抽象,特化和基于属性的谓词拆分
机译:aLpHaRD中的抽象和验证:树处理程序的设计和验证。