交替式下推系统相关硕士博士期刊学术论文 - 搜论网

交替式下推系统相关论文

关于交替式下推系统可达性证明的研究与实现

演绎推理是形式化验证中一种重要的方法,具有可以处理无穷状态系统的优点.本文研究与实现关于交替式下推系统中可达性的证明,该系......

期刊

推理验证形式化验证交替式下推系统无穷状态系统可视化 deductive reasoning formal verification alternat

看过本文同时还关注