Sciweavers

Share
CAV   2004 International Workshop on Computer Aided Verification
Wall of Fame | Most Viewed CAV-2004 Paper
CAV
2004
Springer
202views Hardware» more  CAV 2004»
9 years 7 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against speciļ¬cations given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source202
2Download preprint from source159
3Download preprint from source154
4Download preprint from source152
5Download preprint from source151
6Download preprint from source140
7Download preprint from source136
8Download preprint from source130
9Download preprint from source128
10Download preprint from source126
11Download preprint from source123
12Download preprint from source122
13Download preprint from source121
14Download preprint from source120
15Download preprint from source111
16Download preprint from source108
17Download preprint from source108
18Download preprint from source108
19Download preprint from source105
20Download preprint from source104
21Download preprint from source101
22Download preprint from source100
23Download preprint from source99
24Download preprint from source97
25Download preprint from source97
26Download preprint from source96
27Download preprint from source96
28Download preprint from source93
29Download preprint from source90
30Download preprint from source89
31Download preprint from source89
32Download preprint from source87
33Download preprint from source86
34Download preprint from source77
books