PRISM 4.0: Verification of Probabilistic Real-time Systems (2011)

First Author: Kwiatkowska M
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proc. 23rd International Conference on Computer Aided Verification (CAV'11)