In Java it would be something like JBMC? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		siscia on June 24, 2024 \| parent \| context \| favorite \| on: Formal methods: Just good engineering practice? In Java it would be something like JBMC?

nanolith on June 24, 2024 [–]

Yep. JBMC is part of the CProver / CBMC family.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact