形式化验证 SMT 编码

基于SMT求解的形式化验证方法

SMT简介

模型检查

SMT 编码结构

posted @ 2024-05-17 11:46  开宝特攻  阅读(3)  评论(0)  编辑  收藏  举报
Back to Top Button