Towards informed swarm verification

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


In this paper, we propose a new method to perform large scale grid model checking. A manager distributes the workload over many embarrassingly parallel jobs. Only little communication is needed between a worker and the manager, and only once the worker is ready for more work. The novelty here is that the individual jobs together form a so-called cumulatively exhaustive set, meaning that even though each job explores only a part of the state space, together, the tasks explore all states reachable from the initial state.
Original languageEnglish
Title of host publicationProceedings of the 3rd NASA Formal Methods Symposium
EditorsM. Bobaru
Place of PublicationHeidelberg
ISBN (Print)978-3-642-20398-5
Publication statusPublished - 2011


Dive into the research topics of 'Towards informed swarm verification'. Together they form a unique fingerprint.

Cite this