The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2011)
Aachen, Germany
Sept. 5, 2011 to Sept. 8, 2011
ISBN: 978-0-7695-4491-5
pp: 151-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.
INDEX TERMS
CITATION
Axel Legay, Benoît Delahaye, Kim G. Larsen, Mikkel L. Pedersen, Andrzej Wasowski, "APAC: A Tool for Reasoning about Abstract Probabilistic Automata", Quantitative Evaluation of Systems, International Conference on, vol. 00, no. , pp. 151-152, 2011, doi:10.1109/QEST.2011.28
89 ms
(Ver 3.3 (11022016))