@bhzhan
Interactive theorem proving, modelling and verification of embedded systems.
Implementation of higher-order logic in Python.
MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems
iscalc - An interactive symbolic computation framework
ucOS操作系统基于smt的自动验证抽象规范
Formal Methods Education in China
最近一年贡献:416 次
最长连续贡献:12 日
最近连续贡献:1 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request,其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。