张楠;段振华;田聪;杜洪伟;Yang,Kai(杨凯) 建模和验证多核程序。 (英语) 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格式引用 \textit{N.Zhang}等人,Lect。注释计算。科学。10628492-500(2017年;兹比尔1474.68196) 全文: 内政部