induction; program analysis and verification; semantics; symbolic execution; termination; textit{Theorema} system;
机译:结构与轨迹跟踪方法:业务流程的健全性验证
机译:在自动识别与危险有关的声音中验证参数化方法
机译:验证持久并发数据结构的正确性:声音和完整的方法
机译:基于逻辑的核实循环验证方法的声音
机译:通过基于逻辑的方法将优化和约束编程相结合。
机译:使用模糊逻辑的方法在工业CFBC过热器中传热性能
机译:祈使环的基于逻辑的验证方法的可靠性