Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
classification
💻 cs.SE
keywords
checkingconcurrentcosmaenvironmentmodelverificationanalyzedbehavioral
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.