[Replies redirected.] Boris Kochergin <sp...@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-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"
