2000 character limit reached
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing (1705.04728v1)
Published 12 May 2017 in cs.SE
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.