×

建模和验证多核程序。 (英语) Zbl 1474.68196号

高晓峰(主编)等,组合优化及其应用。第十一届国际会议,2017年COCOA,中国上海,2017年12月16-18日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).
摘要:为了建模和验证多核程序,本文形式化了圆柱计算模型(CCM)的操作语义。此外,还强调了CCM相对于其他并发模型的优势。此外,还介绍了用CCM编程的原理。此外,还简要介绍了一种在代码级验证CCM程序的统一模型检查方法。最后,通过一个实例说明如何使用CCM实现和验证多核程序。
关于整个系列,请参见[Zbl 1378.68013号].

MSC公司:

第68季度第60季度 规范和验证(程序逻辑、模型检查等)
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部