News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by h91wka on Tuesday April 07, 2020 @08:53AM (#22802699)
...Also I think you don't realize that formal inductive proofs can easily reason about programs operating with unbounded memory.
[ Parent | on HN ]
Re:The SeL4 Foundation: What and Why by wolfgke on Tuesday April 07, 2020 @09:15AM (#22802887)
With formal inductive proofs, you can reason, but not decide.
[ Parent | on HN ]