Automated quantitative software verification with PRISM

  • Kwiatkowska, Marta (Principal Investigator)

Search results

  • 2010

    A game-based abstraction-refinement framework for Markov decision processes

    Kattenbelt, M., Kwiatkowska, M., Norman, G. & Parker, D., 1 Sep 2010, In: Formal Methods in System Design. 36, 3, p. 246-280

    Research output: Contribution to journalArticlepeer-review

    65 Citations (Scopus)
  • Assume-Guarantee Verification for Probabilistic Systems

    Kwiatkowska, M., Norman, G., Parker, D. & Qu, H., 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 23-37 (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    85 Citations (Scopus)
  • 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 proceedingChapter (peer-reviewed)

    44 Citations (Scopus)
  • 2008

    Probabilistic model checking of complex biological pathways

    Heath, J., Kwiatkowska, M., Norman, G., Parker, D. & Tymchyshyn, O., 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.

    Research output: Contribution to journalArticlepeer-review

    119 Citations (Scopus)