COSMA环境中的模型检测对流水线处理设计的支持
软件工程
2017-05-16 v1
摘要
本报告分析的案例研究涉及一个由相互并发且竞争共享资源的模块组成的三阶段流水线的行为规约与验证。系统组件采用并发状态机（CSM）进行规约，所使用的验证技术是COSMA环境中的时序模型检测。
引用
@article{arxiv.1705.04728,
title = {Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing},
author = {Jerzy Mieścicki and Bogdan Czejdo and Wiktor B. Daszczuk},
journal= {arXiv preprint arXiv:1705.04728},
year = {2017}
}
备注
15 pages, 11 figures, European Congress on Computational Methods in Applied Sciences and Engineering ECCOMAS 2004, Jyv\"askyl\"a, Finland, 24-28 July 2004