Provably correct OS?

[Dyke Stiles <dyke.stiles@xxxxxxxxxxx>]

Hi -

Is anyone familiar with the EROS package? It claims to be for
real-time systems, and some (at least) properties seem to have been
verified formally.

http://www.eros-os.org/

(It really isn't a porn site, but searching for EROS will get you
several...)

Dyke.

-- 
======================================================================
Dyke Stiles            >>>>>> new address!!>>> dyke.stiles@xxxxxxxxxxx
Professor and Chair, Graduate Committee
Department of Electrical and Computer Engineering
4120 Old Main Hill
Utah State University
Logan UT 84322-4120
Voice: +1-435-797-2840                          FAX:   +1-435-797-3054
Work:                http://www.engineering.usu.edu/ece/research/rtpc/
Play:  http://www.engineering.usu.edu/ece/research/rtpc/utah/utah.html
======================================================================