Stochastic Model Checking (2007)

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: Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)