📚 程序验证技术资料

📦 资源总数：26
💻 源代码：5
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。

🔥 程序验证热门资料

查看全部26个资源 »

验证哥德巴赫猜想，通过VC++程序验证有限个数内哥德巴赫猜想成立...

👤 hj_18 ⬇️ 151 次下载

属性约简是粗糙集理论中的一个重要内容,其核心任务是得到属性集的核。本文提出了一种基于二进制运算 的属性核求解算法,该算法简单直观且易于实现。我们通过设计C语言程序验证了算法的有效性。...

👤 从此走出阴霾 ⬇️ 166 次下载
算法 粗糙集理论 核心 二进制

软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执...

⬇️ 10 次下载
软件安全 漏洞 技术

💻 程序验证源代码

查看更多 »
💻
秒分程序.plg
💻
+
💻
stc12c5410ad单片机的看门狗及其溢出时间计算公式.txt
💻
1.txt
💻
黑洞数.txt
📂 程序验证资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 26 个资源