Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
421553 | Electronic Notes in Theoretical Computer Science | 2013 | 17 Pages |
Abstract
Distributed verification uses the resources of several computers to speed up the verification and, even more importantly, to access large amounts of memory beyond the capabilities of a single computer. In this paper, we describe the distributed verification tools provided by the CADP (Construction and Analysis of Distributed Processes) toolbox, especially focusing on its most recent tools for management, inspection, and on-the-fly exploration of distributed state spaces. We also report about large-scale experiments carried out using these tools on Gridʼ5000 using up to 512 distributed processes.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics