Sciweavers

POPL   2005 Annual Symposium on Principles of Programming Languages
Wall of Fame | Most Viewed POPL-2005 Paper
POPL
2005
ACM
14 years 3 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid
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 source171
2Download preprint from source164
3Download preprint from source161
4Download preprint from source160
5Download preprint from source157
6Download preprint from source156
7Download preprint from source152
8Download preprint from source149
9Download preprint from source141
10Download preprint from source136
11Download preprint from source135
12Download preprint from source135
13Download preprint from source127
14Download preprint from source124
15Download preprint from source124
16Download preprint from source123
17Download preprint from source122
18Download preprint from source114
19Download preprint from source110
20Download preprint from source108
21Download preprint from source108
22Download preprint from source106
23Download preprint from source105
24Download preprint from source100
25Download preprint from source98
26Download preprint from source96
27Download preprint from source96
28Download preprint from source94
29Download preprint from source89
30Download preprint from source86
31Download preprint from source81
32Download preprint from source79