Bit Vectors (2)

介绍位向量求解算法.

2022-04-05

判定过程

#数据验证

Bit Vectors (1)

介绍位向量与位向量演算的判定方法.

2022-03-25

判定过程

#数据验证

线性演算(二)

介绍线性求解的扩展和变量、量词消除的方法.

2022-03-11

判定过程

#算法 #量词消除

Small-step 操作语义

介绍小步(small step)操作语义

2022-03-03

逻辑

#语义 #推理规则

线性演算(一)

介绍线性演算及其求解.

2022-02-13

判定过程

#算法 #线性规划

等式逻辑与未解释函数

介绍等式逻辑与未解释函数, 说明通过同余闭包算法如何证明程序之间的等价性.

2022-01-22

判定过程

#算法 #编译优化验证

DPLL Algorithm

介绍判定过程中扩展的DPLL(T)算法.

2022-01-15

判定过程

#算法 #DPLL

CDCL Algorithm

介绍可满足求解理论中经典的CDCL算法.

2022-01-07

判定过程

#算法 #CDCL

Alice

岂曰无衣，与子同袍。--《秦风无衣》

2021-12-29

#42