Download PDFOpen PDF in browser

From One To Many: Checking A Set Of Models

EasyChair Preprint no. 1402

2 pagesDate: August 17, 2019


Whether the objective is to narrow in on the final system design, check capabilities of system versions with varying features, or regression testing to make a design more robust, several models of the system under development have to be analyzed. Model checking can compare different models; however, applying model checking off-the-shelf may not scale due to the large size of the design space for today’s complex systems. There is a need to develop new algorithms that intelligently use inherent properties of models in a design space to increase scalability of checking the complete model-set. We report on our investigation of the model-set checking problem, highlight preliminary results, and discuss ongoing work and future research directions.

Keyphrases: Design Space Exploration, model checking, model sets

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Rohit Dureja and Kristin Yvonne Rozier},
  title = {From One To Many: Checking A Set Of Models},
  howpublished = {EasyChair Preprint no. 1402},

  year = {EasyChair, 2019}}
Download PDFOpen PDF in browser