，特别是微软、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
由于多栈的模型图灵等价，因此，通用的异步通信程序模型的验证问题不可判定．为此，基于Petri网。提出了一个新的模型通信一一通信Petri网，对异步通信程序进行刻画．通过对输入通信进行缸型限制以及对
2017-12-29 15:53
环境感知自适应软件的验证技术综述
2021-05-31 14:19
函数式编程是一种编程范型，它把计算看作是对数学函数的求值，避免了状态和易变数据结构，函数是构造程序的基本成分，语言还提供构造更为复杂的函数的机制，语言禁止使用赋值语句，函数式编程的根基是演算，演算
2018-04-03 11:01
参数辨识的技术成果，再对 PMSM 辨识方法进行归纳和比较，最后，揭示 PMSM 参数辨识过程中亟需关注的研究问题并 展望其未来的发展方向，旨在实现 PMSM 系统的高效可靠运行。纯分享帖，点击附件查看全文*附件：永磁同步电机参数辨识研究
2025-03-26 14:13
扁平漆包线抖动干扰处理研究综述
2021-06-30 15:46
