HomeToolsCase StudiesPublications

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.]



  • [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.]

Latest News

March 2011: Mark Kattenbelt's PhD thesis, which contains details of the Probity tool, is now available.
December 2010: The QProver tool now has a website, including tool downloads and case studies.