ACM通信
研究档案
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
2010年6月
选自ACM通信
技术视角:学习做程序验证
当您决定使用一款软件时，您如何知道它将完成您需要它完成的工作?跑步安全吗?它是否会干扰你已有的其他软件……
选自ACM通信
断言和检查多线程程序的确定性
具有越来越多并行核的处理器的趋势增加了对能够利用并行性的软件的需求。写正确的…
选自ACM通信
技术视角:在多核软件中建立信心
惊喜在现实生活中可能很有趣，但在软件中就不是这样了。避免软件意外的一种方法是建立它的功能正确性，要么通过构造…
选自ACM通信
seL4:操作系统内核的正式验证
我们将报告seL4微核从抽象规范到C实现的正式的机器检查验证。我们假定编译器、汇编代码、硬件和引导代码都是正确的。