• DocumentCode
    3633725
  • Title

    DiVinE 2.0: High-Performance Model Checking

  • Author

    Jiri Barnat;Lubos Brim;Petr Rockai

  • Author_Institution
    Fac. of Inf., Masaryk Univ., Brno, Czech Republic
  • fYear
    2009
  • Firstpage
    31
  • Lastpage
    32
  • Abstract
    We present a tool for parallel enumerative LTL model-checking and reachability analysis. The tool brings model checking to high-powered multi-core systems, as well as high-performance clusters. Boasting pluggable modelling language framework, it is possible to leverage the available parallel algorithms for multiple problem domains, by using suitable input language.
  • Keywords
    "Biological system modeling","Automata","Parallel algorithms","Hardware","Application software","Predictive models","Computational systems biology","Informatics","Reachability analysis","Read-write memory"
  • Publisher
    ieee
  • Conference_Titel
    High Performance Computational Systems Biology, 2009. HIBI ´09. International Workshop on
  • Print_ISBN
    978-0-7695-3809-9
  • Type

    conf

  • DOI
    10.1109/HiBi.2009.10
  • Filename
    5298708
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3633725