News for hackers. Stuff that matters.

A comment on Formal methods: Just good engineering practice?. Parent comment

Re:Formal methods: Just good engineering practice? by pjmlp on Monday June 24, 2024 @05:18AM (#40773928)
Faulty logic can only be proven to a specific mathematical limit, if the actual system constraints, hardware and OS APIs, aren't part of the model.
[ Parent | on HN ]
Re:Formal methods: Just good engineering practice? by coldtea on Monday June 24, 2024 @12:20PM (#40777927)
My comment was already about proofs "to a specific mathematical limit" still being useful and better than nothing, tho
[ Parent | on HN ]