1.形式化方法基本概念 形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分...[作者空间]

从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验...[作者空间]

作为程序员的我们用不同编程语言写程序多年了。 我们是否反思过，为什么需要程序，为什么我们需要编程语言，究竟什么是编...[作者空间]