Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
http://www.cprover.org/cbmc/
HN Discussion