文件名称：dash:DASH子集的Java实现
文件大小：28.58MB
文件格式：ZIP
更新时间：2024-06-28 11:22:37
Java
#DASH for Java 这是子集的 Java 实现，由 Kasper Føns 和 Jacob Hougaard 在他们的硕士论文 checks 期间开发，在学习计算机科学时创建。 ##什么是DASH？ 是一种可以检查程序是否满足给定安全属性的算法。 DASH 具体和象征性地执行正在测试的程序。 DASH 算法的一个独特之处在于它仅使用测试生成操作，并且由于测试生成失败，它改进和维护了合理的程序抽象。 DASH 由 Microsoft 开发，用于分析用编程语言 C 编写的设备驱动程序。 ##Implementation 该实现支持整数程序的过程间分析。 有许多示例。 它不支持指针（如那样）、对象、双打和许多其他功能。 ###运行要求 64 位 视窗 64 位 由于定理证明器是为 Windows 64 位构建的，因此需要 Windows 64 位和 64 位版本的 Java。