4 ms·
Talk by Dr. Gerard Holzmann (leads the JPL Laboratory for Reliable Software): https://www.youtube.com/watch?v=x6yDubV3a9I https://www.youtube.com/watch?v=x6yDub
by avalenciano 10y ago
Talk by Dr. Gerard Holzmann (leads the JPL Laboratory for Reliable Software): https://www.youtube.com/watch?v=x6yDubV3a9I https://www.youtube.com/watch?v=x6yDubV3a9I
You can also search for the paper/final report: "NASA Study on Flight Software Complexity" to expand the topic.