QProver Publications

QProver-related publications:

3 publications:

[Kat11] Mark Kattenbelt. Automated Quantitative Software Verification. Ph.D. thesis, Oxford University. March 2011. [pdf] [bib] [Thesis on quantitative verification for software, including probabilistic abstraction-refinement methods that use components from GOTO-CC, SATABS and PRISM.]

[KKNP10] Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman and David Parker. A Game-based Abstraction-Refinement Framework for Markov Decision Processes. Formal Methods in System Design, 36(3), pages 246-280, Springer. September 2010. [pdf] [bib] [Presents game-based abstraction-refinement techniques for MDPs, as used for example to verify PTAs in PRISM.]

[KKNP09] Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman and David Parker. Abstraction Refinement for Probabilistic Software. In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), volume 5403 of Lecture Notes in Computer Science, pages 182-197, Springer. January 2009. [ps.gz] [pdf] [bib] [Develops verification techniques for probabilistic C programs, using components from GOTO-CC, SATABS and PRISM.]