Parallel Software Model Checking

October 16, 2015 • Presentation

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

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.