Formal validation 笔记 - building boolean formula
Formal Model
Construct a formal model of a system
对反应式系统进行建模
state:状态,系统在某一时刻的变量的值。
transition: 变迁(转移),给定状态下,行为发生前后的变化。
computation:计算,无限状态序列变迁的过程。
如何把 电路或者 程序,转化成一级电路公式 , 再转换成KS。
Kripke structure (KS)
KS 是 4-tuple M = (S, S0, R, L)
S: 状态的有限集合。
S0: 初始状态集合
原创
2021-03-18 17:27:54 ·
185 阅读 ·
0 评论