HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by siscia | Hacker News Reader
Parent
Full thread
siscia
·
In Java it would be something like JBMC?
View on HN
nanolith
·
Yep. JBMC is part of the CProver / CBMC family.
Reply on news.ycombinator.com