• DocumentCode
    3625511
  • Title

    Parallel Model Checking and the FMICS-jETI Platform

  • Author

    Jiri Barnat;Lubos Brim;Martin Leucker

  • Author_Institution
    Masaryk University, Czech Republic
  • fYear
    2007
  • fDate
    7/1/2007 12:00:00 AM
  • Firstpage
    330
  • Lastpage
    339
  • Abstract
    In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the mu-calculus which naturally subsumes the branching time logic CTL (computation tree logic). We also indicate how to provide parallel model checking applications as services for integrated modelling, analysis, and verification using the FMICS-jETI platform.
  • Keywords
    "State-space methods","Logic","Concurrent computing","Power system modeling","Partitioning algorithms","Application software","Tree graphs","Heart","Workstations","Distributed computing"
  • Publisher
    ieee
  • Conference_Titel
    Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
  • Print_ISBN
    0-7695-2895-3
  • Type

    conf

  • DOI
    10.1109/ICECCS.2007.34
  • Filename
    4276330
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3625511