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:58AM (#22802743)
No. In CIC I can prove that, say, some property is valid for _any_ natural number. Your "memory is bounded" argument is invalid, as formal proofs can go beyond that.
[ Parent | on HN ]

There are no comments on this comment yet.