FMCO   2005 Formal Methods for Components and Objects
Wall of Fame | Most Viewed FMCO-2005 Paper
173views Formal Methods» more  FMCO 2005»
10 years 7 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
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.
1Download preprint from source173
2Download preprint from source156
3Download preprint from source156
4Download preprint from source153
5Download preprint from source143
6Download preprint from source116
7Download preprint from source101
8Download preprint from source92
9Download preprint from source88
10Download preprint from source81
11Download preprint from source76