Monday, November 22, 2004
I found this on OSNews today: an interview with Mike Deliman, a Wind River engineer who has worked on some of the NASA/JPL space probes. It's interesting to hear this side of things, given Ron Garret's (aka Erann Gat) view of Lisp at JPL.
I wrote up some of my thoughts (and a bunch more links) on this and Remote Agent on Slashdot (and in addition discussed some formal verification things). Even though they may have dumped Lisp, it does seem that NASA is at least trying to use formal verification, even if it is to verify things written with spit and duct tape.
Post a Comment
Links to this post: