程序验证

程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...

资源总数
500

程序验证 热门资料

查看全部 500 份 →

实验程序，在s3c2410的周立功开发板上运行的，用于基本的指令熟悉用

2013-12-01 53 程序验证

51cpu系统的实验程序（包括键盘显示、串口、并口、语音录放等等）

2024-11-03 4 程序验证

了解边缘检测的算法和用途，学习利用sobel算子进行边缘检测的程序设计方法

2025-03-02 3 程序验证