VIP20
本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

协议一致性形式化验证技术

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
协议一致性验证导论
核心概念 · 原理机制 · 实战要点
协议一致性验证导…核心概念
02
协议规范与形式化建模语言
核心概念 · 原理机制 · 实战要点
协议规范形式化建模语言
03
形式化验证方法体系
核心概念 · 原理机制 · 实战要点
形式化验证方法体…核心概念
04
协议状态机建模
核心概念 · 原理机制 · 实战要点
协议状态机建模核心概念
05
时序逻辑与属性规约
核心概念 · 原理机制 · 实战要点
时序逻辑属性规约
06
模型检验基本原理
核心概念 · 原理机制 · 实战要点
模型检验基本原理核心概念
07
符号模型检验与BDD
核心概念 · 原理机制 · 实战要点
BDD符号模型检验
08
SAT/SMT求解与有界模型检验
核心概念 · 原理机制 · 实战要点
SAT/SMT求解
09
显式状态模型检验与SPIN
核心概念 · 原理机制 · 实战要点
SPIN显式状态模型检验
10
协议一致性测试与形式化验证的关系
核心概念 · 原理机制 · 实战要点
协议一致性测试形式化验证的关系
11
等价性验证与精化验证
核心概念 · 原理机制 · 实战要点
等价性验证精化验证
12
运行时验证与协议监控
核心概念 · 原理机制 · 实战要点
运行时验证协议监控
13
定理证明与交互式证明
核心概念 · 原理机制 · 实战要点
定理证明交互式证明
14
协议安全属性形式化验证
核心概念 · 原理机制 · 实战要点
协议安全属性形式…核心概念
15
TLS握手协议的一致性验证
核心概念 · 原理机制 · 实战要点
TLS握手协议的一致性…
16
TCP状态机与协议一致性验证
核心概念 · 原理机制 · 实战要点
TCP状态机
17
片上总线协议一致性验证
核心概念 · 原理机制 · 实战要点
片上总线协议一致…核心概念
18
分布式共识协议形式化验证
核心概念 · 原理机制 · 实战要点
分布式共识协议形…核心概念
19
形式化验证工具链与CI集成
核心概念 · 原理机制 · 实战要点
CI形式化验证工具链
20
验证工程流程与验证计划
核心概念 · 原理机制 · 实战要点
验证工程流程验证计划
21
抽象与模型约简技术
核心概念 · 原理机制 · 实战要点
抽象模型约简技术
22
状态空间爆炸应对策略
核心概念 · 原理机制 · 实战要点
状态空间爆炸应对…核心概念
23
协议描述语言与建模实践
核心概念 · 原理机制 · 实战要点
协议描述语言建模实践
24
TLA+与系统协议验证
核心概念 · 原理机制 · 实战要点
TLA+系统协议验证
25
反例分析与错误定位
核心概念 · 原理机制 · 实战要点
反例分析错误定位
26
形式化验证与动态测试结合
核心概念 · 原理机制 · 实战要点
形式化验证动态测试结合
27
验证自动化与回归验证
核心概念 · 原理机制 · 实战要点
验证自动化回归验证
28
协议标准与行业合规验证
核心概念 · 原理机制 · 实战要点
协议标准行业合规验证
29
实战项目
从协议规范到验证报告：核心概念 · 原理机制 · 实战要点
实战项目从协议规范到验证…
30
形式化验证前沿趋势与工程展望
核心概念 · 原理机制 · 实战要点
形式化验证前沿趋…工程展望