Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date


Parallel Software Model Checking

  • October 2015
  • By 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
  • 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.

  • Download

Part of a Collection

SEI 2015 Research Review Artifacts