Abstraction Refinement for Probabilistic Software

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Computer Science

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

44 Citations (Scopus)

2 results

Finished
Automated quantitative software verification with PRISM
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils