[Replies redirected.] Boris Kochergin <spawk_at_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.Received on Tue Jan 11 2011 - 21:32:19 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:10 UTC