Swarm verification

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Research output: Chapter in Book/Report/Conference proceedingConference contribution

37 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings
Pages1-6
Number of pages6
DOIs
StatePublished - 2008
Externally publishedYes
EventASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy
Duration: Sep 15 2008Sep 19 2008

Publication series

NameASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Conference

ConferenceASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering
Country/TerritoryItaly
CityL'Aquila
Period9/15/089/19/08

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Swarm verification'. Together they form a unique fingerprint.

Cite this