，特别是微软、IBM等大型公司研发部门的大量人力、物力的投入，程序验证方面在21世纪初取得了不少进展，例如用于验证空客代码无运行时错误的ASTREE工具、用于Windows设备驱动里关于过程调用的协议验证的SLAM工
2017-12-26 16:05
本质上讲，要验证一个程序的正确性，需要验证程序中所有执行都正确。对并发程序来说，由于线程之间的交织，不同线程中
2023-02-02 09:25
阻碍采用正式程序验证进行航空电子认证的主要障碍是，尽管开发DO-333 / ED-216的委员会进行了大量的传播工作，但缺乏关于如何应用DO-333 / ED-216的普遍共识。现在有一个详细的过程
2022-11-09 11:24
为什么程序验证通过，但在1.8版IDE上不能下载，将程序复制到1.6版IDE上就可以下载。
2024-03-14 21:08
面向多核处理器的低级并行程序验证要 随着多核处理器的广泛使用以及人们对软件提出了更高的可靠性要求，多核并行程序验证的重要性日益凸显。本文提出了一个完整的基于多核的并行程序验证框架，该
2009-10-06 09:56
蓝牙遥控小车程序
2017-03-31 17:42
基于STM32蓝牙小车程序
2022-09-26 14:22
双轮自平衡车程序，感兴趣的小伙伴可以瞧一瞧。
2016-10-14 14:17
谁有遗传算法的汽车自动刹车程序，还有规避预警程序呀？着急，有大神和好心人吗？？
2018-04-14 19:33
自动循迹小车程序文档资料，送给需要的人。
2016-06-23 16:53
