From: Dyke Stiles (dyke.stiles_at_email.domain.hidden)
Date: 2000-10-26 22:31:16
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
several...)
Dyke.
-- ====================================================================== Dyke Stiles >>>>>> new address!!>>> dyke.stiles_at_ece.usu.edu 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 ======================================================================
This archive was generated by hypermail 2.1.7 on 2004-10-31 20:03:56 GMT
© Copyright WoTUG
All rights reserved