News for hackers. Stuff that matters.

A comment on CBMC: C bounded model checker (2021). Parent comment

Re:CBMC: C bounded model checker (2021) by mrnoone on Saturday May 04, 2024 @04:55PM (#40260208)
Some other tool (Coq-based) to formally verify unsafe Rust https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
[ Parent | on HN ]

There are no comments on this comment yet.