MODEL CHECKING IN THE COSMA ENVIRONMENT AS A SUPPORT FOR THE DESIGN OF PIPELINED PROCESSING
@article{Miescicki2004MODELCI,
title={MODEL CHECKING IN THE COSMA ENVIRONMENT AS A SUPPORT FOR THE DESIGN OF PIPELINED PROCESSING},
author={J. Miescicki and B. Czejdo and Wiktor B. Daszczuk},
journal={ArXiv},
year={2004},
volume={abs/1705.04728}
}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. 1 This work has been supported by grant No.7 T 11 C 013 20 from Polish State Committee for Scientific… CONTINUE READING
Figures and Topics from this paper
7 Citations
Behavioral an real-time verification of a pipeline in the COSMA environment
- Computer Science
- Ann. UMCS Informatica
- 2006
- 1
The use of model checking and the COSMA environment in the design of reactive systems
- Computer Science
- Ann. UMCS Informatica
- 2006
- 1
Real Time Model Checking Using Timed Concurrent State Machines
- Computer Science
- Int. J. Comput. Sci. Appl.
- 2007
- 3
- PDF
Specification and Verification in Integrated Model of Distributed Systems (IMDS)
- Computer Science
- Comput.
- 2018
- 2
- PDF
References
SHOWING 1-10 OF 35 REFERENCES
Binary decision diagrams and beyond: enabling technologies for formal verification
- Computer Science
- ICCAD
- 1995
- 189
- PDF