- 博客(1)
- 收藏
- 关注
原创 Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象?
从诞生至今,形式化验证(Formal Verification)方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一丝神秘感。 究竟什么是形式化验证方法? 维基百科对形式化验证的解释是这样的: 在计算机硬件(特别是集成电路)和软件系统的设计过程中,形式化验证的含义是根据某个或某些形式化规范或属性,使用数学的方法证明其正确性或非正确性。 ...
2018-10-24 18:36:48 810
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人