Source: I have worked at NICTA, with the seL4 team, on the seL4 project, I've seen the seL4 source code and am (was?) a primary author of the user manual.
These claims have been peer reviewed in top formal methods and operating systems journals/conferences and have won some very awards doing so.
In short some very smart, and very qualified people can vouch for them.
These claims have been peer reviewed in top formal methods and operating systems journals/conferences and have won some very awards doing so.
In short some very smart, and very qualified people can vouch for them.