Reply to post: Compiler and runtime(s) also guaranteed defect free?

Secure microkernel that uses maths to be 'bug free' goes open source

Anonymous Coward
Anonymous Coward

Compiler and runtime(s) also guaranteed defect free?

Or does it just need a senior "engineering" manager to declare them trustworthy, or else?

Viper. gcc code-generation buglist. To name but two.

Still, it may well be a step in the right direction.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon