• DocumentCode
    1687256
  • Title

    APAC: A Tool for Reasoning about Abstract Probabilistic Automata

  • Author

    Delahaye, Benoît ; Larsen, Kim G. ; Legay, Axel ; Pedersen, Mikkel L. ; Wøsowski, Andrzej

  • Author_Institution
    IRISA, INRIA, Rennes, France
  • fYear
    2011
  • Firstpage
    151
  • Lastpage
    152
  • Abstract
    We recently introduced Abstract Probabilistic Automata (APA), a new powerful abstraction formalism for probabilistic automata. Our theory is equipped with a series of aggressive abstraction techniques for state-space reduction as well as a specification theory for both logical and structural comparisons. This paper reports on the implementation of the approach in the Abstract Probabilistic Automata Checker toolset.
  • Keywords
    probabilistic automata; APAC; abstract probabilistic automata checker toolset; abstraction formalism; aggressive abstraction techniques; specification theory; state-space reduction; Automata; Educational institutions; Markov processes; Probabilistic logic; Probability distribution; Real time systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
  • Conference_Location
    Aachen
  • Print_ISBN
    978-1-4577-0973-9
  • Type

    conf

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