Re: Alleged "microkernel mathematically proven to be bug free"

On 29/07/14 14:55, Lodewijk andré de la porte wrote:

2014-07-29 15:03 GMT+02:00 Cathal Garvey :

...

So the kernel can be theoretically secure but still be packed with buffer overflows and pointer errors?

No.

Care to elaborate? I can mathematically prove any theorem, then implement it in C and segfault the kernel. How is this different? -- T: @onetruecathal, @IndieBBDNA P: +353876363185 W: http://indiebiotech.com