[Replies redirected.]
Boris Kochergin <spawk@acm.poly.edu> writes:
> All modern operating systems? Maybe some niche ones, like the ones
> that run on Mars rovers, have made progress towards formal
> verification and are believed not to crash given correctly-functioning
> hardware.
The Mars rovers run on VxWorks. Which is a system I like, but it
isn't anything like formally verifiable. And it certainly does the
equivalent of FreeBSD panic() under some circumstances.
_______________________________________________
freebsd-chat@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-chat
To unsubscribe, send any mail to "freebsd-chat-unsubscribe@freebsd.org"