end-to-end proof of implementation correctness and security enforcement. It is still the world's most highly assured OS.""
Link to Original Source
Slashdot stories can be listened to in audio form via an RSS feed, as read by our own robotic overlord.
We don't know who it was that discovered water, but we're pretty sure that it wasn't a fish. -- Marshall McLuhan