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

Digital Library

Presentation

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