@inproceedings{24727ae27bfd47b7b3f70bd78f26d9ce,
title = "Swarm verification",
abstract = "Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow afield than a thousand chickens. Although this is undoubtedly wise when it comes to plowing a field, it is not so clear for other types of tasks. Model checking problems are of the proverbial {"}search the needle in a haystack{"} type. Such problems can often be parallelized easily. Alas, none of the usual divide and conquer methods can be used to parallelize the working of a model checker. Given that it has become easier than ever to gain access to large numbers of computers to perform even routine tasks it is becoming more and more attractive to find alternate ways to use these resources to speed up model checking tasks. This paper describes one such method, called swarm verification.",
author = "Holzmann, \{Gerard J.\} and Rajeev Joshi and Alex Groce",
year = "2008",
doi = "10.1109/ASE.2008.9",
language = "English (US)",
isbn = "9781424421886",
series = "ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings",
publisher = "IEEE Computer Society",
pages = "1--6",
booktitle = "ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings",
note = "23rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2008 ; Conference date: 15-09-2008 Through 19-09-2008",
}