• DocumentCode
    3626110
  • Title

    ProbDiVinE: A Parallel Qualitative LTL Model Checker

  • Author

    Jiri Barnat;Lubos Brim;Ivana Cema;Milan Ceska;Jana Tumova

  • Author_Institution
    Masaryk University, Czech Republic
  • fYear
    2007
  • Firstpage
    215
  • Lastpage
    216
  • Abstract
    introduce a parallel model checker for checking Markov decision processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties.
  • Keywords
    "Explosions","Logic","Approximation algorithms","Informatics","Automata","Uncertainty","Upper bound","Iterative methods","Parallel processing","Computational complexity"
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
  • Print_ISBN
    0-7695-2883-X;978-0-7695-2883-0
  • Type

    conf

  • DOI
    10.1109/QEST.2007.13
  • Filename
    4338260
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3626110