Jump to content

Microsoft applies for a patent for a verifying a 'safe' operating system

Featured Replies

Posted
  • FPCH Admin

Microsoft has applied for a patent for an “automated, static safety verifier” that will help verify the type- and memory-safety of an operating system. And why should anyone care? There are some connections to other Microsoft projects (and potentially, products) worth considering.

 

View the full article

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...