IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model Checking Randomized Algorithms with Java PathFinder

2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST)

Author(s): Xin Zhang ; van Breugel, F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2010
Conference Location: Williamsburg, VA, USA, USA
Conference Date: 15 September 2010
Page(s): 157 - 158
ISBN (Paper): 978-1-4244-8082-1
DOI: 10.1109/QEST.2010.28
Regular:

On the one hand, probabilistic model checkers such as PRISM have been successfully employed to verify models of probabilistic systems. However, they are not suitable for checking properties such... View More

Advertisement