Tackling large verification problems with the swarm tool

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

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

21 Scopus citations

Abstract

The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances, but in no small measure it is also made possible by increases in processing speed and main memory sizes on standard desktop systems. For the time being, though, the increase in CPU speeds has mostly ended as chip-makers are redirecting their efforts to the development of multi-core systems. In the coming years we can expect systems with very large memory sizes, and increasing numbers of CPU cores, but with each core running at a relatively low speed. We will discuss the implications of this important trend, and describe how we can leverage these developments with new tools.

Original languageEnglish (US)
Title of host publicationModel Checking Software - 15th International SPIN Workshop, Proceedings
Pages134-143
Number of pages10
DOIs
StatePublished - 2008
Externally publishedYes
Event15th International SPIN Workshop on Model Checking of Software, SPIN 2008 - Los Angeles, CA, United States
Duration: Aug 10 2008Aug 12 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5156 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International SPIN Workshop on Model Checking of Software, SPIN 2008
Country/TerritoryUnited States
CityLos Angeles, CA
Period8/10/088/12/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Tackling large verification problems with the swarm tool'. Together they form a unique fingerprint.

Cite this