LCTD

LCTD is a software verification tool for C programs, that implements the Dash algorithm. The tool was produced as a part of Olli Saarikivi's Master's Thesis (PDF).

Releases:
JLAMP 2015 release page
SV-COMP 2016 release page