• 7
• 4
• 0

ylWu/OSVerifyAuto

ucOS操作系统基于smt的自动验证抽象规范

• 22
• 6
• 7

Bohua Zhan/mars

MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems

• 7
• 1
• 2

Bohua Zhan/iscalc

iscalc - An interactive symbolic computation framework

• 19
• 20
• 7

Bohua Zhan/holpy

Implementation of higher-order logic in Python.

• 2
• 0
• 0

Zhonghan Wang/z3

Z3 smt solver

• 1
• 1
• 1

Bohua Zhan/sqlformal forked from 孙欢/sqlformal

sssssssssss

• 2
• 0
• 0

Yizhou Guo/Computation of congruence closures

Based on Kapur 2019 paper (10.1007/s11424-019-8377-8)

• 6
• 0
• 1

FMEChina/FMEChina

Formal Methods Education in China

• 2
• 0
• 0

Bohua Zhan/phiexpr

• 7
• 1
• 1

tpchina/tpchina