Corpus ID: 534158

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}
}
  • J. Miescicki, B. Czejdo, Wiktor B. Daszczuk
  • Published 2004
  • Computer Science
  • ArXiv
  • 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
    7 Citations
    Behavioral an real-time verification of a pipeline in the COSMA environment
    • 1
    The use of model checking and the COSMA environment in the design of reactive systems
    • 1
    Real Time Model Checking Using Timed Concurrent State Machines
    • 3
    • PDF
    Timed Concurrent State Machines
    • 5
    • PDF

    References

    SHOWING 1-10 OF 35 REFERENCES
    MULTI-PHASE MODEL CHECKING OF A THREE-STAGE PIPELINE USING THE COSMA TOOL 1
    • 3
    Model Checking
    • 5,563
    • PDF
    The Model Checker SPIN
    • G. Holzmann
    • Computer Science
    • IEEE Trans. Software Eng.
    • 1997
    • 4,166
    • PDF
    Systems and Software Verification, Model-Checking Techniques and Tools
    • 596
    • PDF
    Symbolic Model Checking: 10^20 States and Beyond
    • 3,177
    Formal methods: state of the art and future directions
    • 1,472
    • PDF
    Symbolic Model Checking
    • 2,004
    • PDF
    Binary decision diagrams and beyond: enabling technologies for formal verification
    • 189
    • PDF
    Software Reliability Methods
    • D. Peled
    • Mathematics, Computer Science
    • Texts in Computer Science
    • 2001
    • 190
    Introduction to Formal Hardware Verification
    • T. Kropf
    • Computer Science
    • Springer Berlin Heidelberg
    • 1999
    • 249