伊库

TNF公司/INF（信息）

团队
接触
软件
出版物
教学
工作


2020年GI发行奖

FMCAD’20学生论坛最佳学生贡献

SAT’20最佳演讲奖

GCAI’19发布与互动奖

2019年1月IJCAI奖

SAT’19最佳学生论文

CAV’18奖

HVC’17最佳论文

ETAPS’17时间测试奖

HVC’15奖

FMCAD’17最佳论文

CADE’17最佳论文

BMC公司

可满足性手册

UML@教室

UML@教室

网址：www.digitaltechnik.org

算术电路的增量列式验证使用计算机代数

本网站提供以下补充材料纸张：

Daniela Ritirc、Armin Biere、Manuel Kauers Incremental算术电路的计算机列式验证代数。已提交至的期刊系统中的形式化方法设计，FMCAD’17特刊。
[实验]