PRISM 4.0: Verification of Probabilistic Real-time Systems (2011)
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)