You may have come here looking for one of the following:
Practical Software Verification wiki
VoIPER
iaxscan