Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
Software Engineering
2017-05-16 v1
Abstract
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.
Keywords
Cite
@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}
}
Comments
15 pages, 11 figures, European Congress on Computational Methods in Applied Sciences and Engineering ECCOMAS 2004, Jyv\"askyl\"a, Finland, 24-28 July 2004