Reply to post: Re: Who bears the cost ?

What bugs me the most? World+dog just accepts crap software resilience

Anonymous Coward
Anonymous Coward

Re: Who bears the cost ?

Thing is, you can't always anticipate everything. Look at seL4, which is itself formally verified. Thing is, that verification breaks down when you introduce something as simple as Direct Memory Access, a necessary evil if you're looking for low latency.

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

SUBSCRIBE TO OUR WEEKLY TECH NEWSLETTER

Biting the hand that feeds IT © 1998–2019