Recently there has been a #breakthrough in this little known but important area, as our colleague Dr. Jaap Boender has managed to formally verify a first component of our operating system with #HENSOLDTCyber after about a year of #challengingwork. It is a model for larger and more complex components that he can now tackle with valuable #support from his colleague Goran Badevic and good advice from Chief Scientist Software Prof. Dr. Gernot Heiser.
Our breakthrough in Formal Verification thanks t...
