The Mechanical Verification of a DPLL-Based Satisfiability Solver

机译：基于DPLL的满意度求解器的机械验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shankar Natarajan; Vaucher Marc;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Mechanical Verification of a DPLL-Based Satisfiability Solver [J] . Natarajan Shankar, Marc Vaucher Electronic Notes in Theoretical Computer Science . 2011,第2期

机译：基于DPLL的满意度求解器的机械验证
2. Verifying the structure and behavior in UML/OCL models using satisfiability solvers [J] . Nils Przigoda, Mathias Soeken, Robert Wille, IET Cyber-Physical Systems: Theory & Applications . 2016,第1期

机译：使用可满足性求解器验证UML / OCL模型中的结构和行为
3. Verification of consensus algorithms using satisfiability solving Tatsuhiro [J] . Tsuchiya, Andre Schiper Distributed Computing . 2011,第5a6期

机译：使用可满足性求解的Tatsuhiro验证共识算法
4. A DPLL-Based Calculus for Ground Satisfiability Modulo Theories [C] . Cesare Tinelli Logics in Artificial Intelligence . 2002

机译：基于DPLL的微积分地面可满足性理论
5. Efficient, Mechanically-Verified Validation of Satisfiability Solvers. [D] . Wetzler, Nathan David. 2015

机译：经过机械验证的有效求解器验证。
6. A Verified ODE Solver and the Lorenz Attractor [O] . Fabian Immler -1

机译：经过验证的ODE求解器和Lorenz吸引子
7. Verifying executability of SysML behavior models using satisfiability modulo theory solvers [O] . Raphael Barbau, Conrad Bock 2020

机译：使用可满足模数求解器验证SYSML行为模型的可执行性
8. Certified Satisfiability Module Theories (SMT) Solving for System Verification. [R] . Barrett, C., Ekici, B., Hadarean, L., 2017

机译：认证可满足性模块理论（smT）解决系统验证。

The Mechanical Verification of a DPLL-Based Satisfiability Solver

著录项

引文网络

相似文献

相关主题

期刊订阅