search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Parallel Software Model Checking

Parallel Software Model Checking

October 2015 • Presentation
Sagar Chaki

In this 2015 Research Review presentation, the author describes his research efforts into scaling up software model checking—a fundamental challenge in the field.

Publisher:

Software Engineering Institute

Watch

Abstract

The results of this FY15 research included a rewriting of our implementation of GPDR (called Spacer) that involved a re-design and the implementation of three solution strategies. The tool is publicly available.