@bhzhan
Interactive theorem proving, modelling and verification of embedded systems.
MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems
ucOS操作系统基于smt的自动验证抽象规范
iscalc - An interactive symbolic computation framework
Implementation of higher-order logic in Python.
Z3 smt solver
sssssssssss
Based on Kapur 2019 paper (10.1007/s11424-019-8377-8)
Formal Methods Education in China
