search menu icon-carat-right cmu-wordmark

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.


Software Engineering Institute



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.