[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Provably correct OS?

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.


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


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