News for hackers. Stuff that matters.

A comment on Three ways "formally verified" can go wrong. Parent comment

Re:Three ways "formally verified" can go wrong by armanboyaci on Monday October 13, 2025 @01:37AM (#45565002)
Should we validate before we verify the software?
[ Parent | on HN ]
Re:Three ways "formally verified" can go wrong by 8n4vidtmkvmk on Monday October 13, 2025 @03:10AM (#45565604)
Yes.
[ Parent | on HN ]