Automated quantitative software verification with PRISM

Research output

Research output per year 2008 2008 2009 2010 2010

• 2 Article
• 1 Conference contribution
• 1 Chapter (peer-reviewed)

Research output per year

Research output per year

Search results

• 2009

  Abstraction Refinement for Probabilistic Software

  Kattenbelt, M., Kwiatkowska, M., Norman, G. & Parker, D., 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
  44 Citations (Scopus)