COSMA环境中的模型检验对流水线处理设计的支持
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
摘要：
报告中分析的案例研究涉及由相互并发的模块组成的三级管道的行为规范和验证，这些模块也竞争共享资源。系统的组成部分是指定的并发状态机（CSM）和验证技术是在COSMA环境中的时间模型检验。
英文摘要：
The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete for a shared resource. The system components are specified in terms of Concurrent State Machines (CSM) and the verification technique used is the temporal model checking in the COSMA environment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
