分面浏览：科研机构 |
| 当前检索式 | ((ALL：formal verification)) |
| 限定条件 | 无 |
| 软件研究所 79 | 清华大学 44 | 北京大学 43 |
| 北京航空航天大学 29 | 兰州理工大学 10 | 西安交通大学 9 |
| 华南理工大学 9 | 山东大学 8 | 上海大学 8 |
| 计算技术研究所 5 | 自动化研究所 5 | 中国科学院大学 4 |
| 湖南大学 4 | 大连理工大学 3 | 数学与系统科学研究院 3 |
| 山东师范大学 3 | 暨南大学 3 | 武汉大学 3 |
| 贵州大学 3 | 西安理工大学 3 | 兰州大学 2 |
| 重庆绿色智能技术研究院 2 | 浙江工商大学 2 | 沈阳自动化研究所 2 |
| 厦门大学 1 | 长春光学精密机械与物理研究所 1 | 高能物理研究所 1 |
| 安徽大学 1 | 半导体研究所 1 | 近代物理研究所 1 |
