Shaare your links...
2166 links
interesting links
Home
Login
RSS Feed
ATOM Feed
Tag cloud
Picture wall
Daily
Links per page:
20
50
100
page 1 / 1
Coyotos Secure Operating System
Another successor to EROS, a capability-based operating system. Attempts to use formal verification.
Thu Oct 19 19:29:36 2006 - permalink
-
-
http://www.coyotos.org/index.html
capability
mathematics
operating-system
security
Links per page:
20
50
100
page 1 / 1