符号模型检验
关注
分享
扫一扫
文章平均质量分 91
Aerozeor
混吃等死的咸鱼
展开
-
符号模型检验（1）有限自动机
介绍符号模型检验到底是个什么东西，和基础的有限自动机类型的符号模型原创 2021-10-31 14:54:14 · 1383 阅读 · 4 评论 -
符号模型检验（2）时态逻辑
介绍符号模型检验中的基础逻辑规则与kriple框架原创 2021-11-01 23:06:02 · 2314 阅读 · 0 评论 -
符号模型检验（3）布尔表达式
布尔表达式是布尔代数上按照一定规则形成的符号串。它是逻辑演算、逻辑电路综合等的有效形式化符号描述。原创 2022-05-06 15:56:46 · 946 阅读 · 0 评论 -
符号模型检验（4）OBDD
OBDD是符号模型检验的基础，是模型从逻辑层面抽象到代数层面的工具原创 2021-11-03 13:40:05 · 2714 阅读 · 0 评论 -
符号模型检验（5）扩展OBDD
OBDD运用在不同领域原创 2022-05-06 15:59:53 · 626 阅读 · 0 评论 -
符号模型检验（6）ZBDD
用于研究元素组合的OBDD原创 2022-05-06 16:01:13 · 778 阅读 · 0 评论 -
符号模型检验（7）ADD
代数决策图（ADD）是一种用于伪布尔函数表示和操作的图形化数据结构。原创 2022-05-08 12:49:20 · 962 阅读 · 0 评论 -
符号模型检验（8）符号、模型、检验——OBDD，Kripke，CTL
符号检验模型的最终形式原创 2022-05-12 12:30:22 · 1459 阅读 · 0 评论