机构名称：
¥ 8.0
被认为可以降低开发的总成本。也就是说，它们必须被视为可以降低最终错误的数量，并且如果不进行这些操作，则感知成本必须高于执行这些操作的成本。。首先，讨论关于并发程序的人们可能希望能够证明什么。然后，提出了一个与这种功利主义观点一致的观察结果。这些在对系统规范的覆盖范围上有所不同，有些可以用作设计系统功能的基础。也就是说，程序的正式规范。接下来，编写正式规范的行为只是为了证明所作的决策与程序规范之间的一致性。最后，值得注意的是，其中一些技术在第一次验证尝试之前就已经与自动化工具（如验证器）相关联，目的是获得正确的系统功能。
并发程序的形式化规范与验证
主要关键词
相关文件推荐
