Machine verified micro-kernel
Aussie boffins have developed an operating system micro-kernel mathematically established as free of many types of errors. The development points the road toward "safety-critical software of unprecedented levels of reliability" for applications such as aircraft and cars.โ€ฆ
**Hidden Content: To see this hidden content your post count must be 1 or greater.**
