Comment by nanolith

Thanks. That is useful.

I would suggest looking into CBMC and similar tools as well. Model checking is incredibly useful.