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
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;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
Conference_Location :
Aachen
Print_ISBN :
978-1-4577-0973-9
DOI :
10.1109/QEST.2011.28
