News for hackers. Stuff that matters.

A comment on The C Bounded Model Checker: Criminally Underused. Parent comment

Re:The C Bounded Model Checker: Criminally Underused by rwmj on Tuesday January 30, 2024 @03:27PM (#39195300)
Thanks, very interesting stuff!
[ Parent | on HN ]

There are no comments on this comment yet.