OREGON STATE UNIVERSITY

You are here

Model Checking Software Tackling Large Verification Problems with the Swarm Tool

TitleModel Checking Software Tackling Large Verification Problems with the Swarm Tool
Publication TypeConference Paper
Year of Publication2008
AuthorsHolzmann, G. J., R. Joshi, and A. Groce
Secondary AuthorsHavelund, K., R. Majumdar, and J. Palsberg
Conference NameSPIN Workshop on Model Checking of Software (SPIN)
Pagination134 - 143
Date Published08/2008
PublisherSpringer Berlin Heidelberg
Conference LocationLos Angeles, CA
ISBN Number978-3-540-85114-1
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.

DOI10.1007/978-3-540-85114-1_11