newsbot
18-08-2009, 03:43 AM
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: Check the thread to see hidden data.**
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: Check the thread to see hidden data.**