温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明涉及计算机软件技术领域，具体是基于可满足模理论的故障树的验证、求解系统及方法。基于可满足模理论的故障树的验证、求解系统，包括可满足模理论形式化语言描述的故障树，形式化验证工具即SMT求解器对输入故障树的形式化逻辑公式进行接收和验证，检...
该专利属于中科院合肥技术创新工程院所有，仅供学习研究参考，未经过中科院合肥技术创新工程院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。