https://www.youtube.com/watch?v=xY45YE7ggng
talk-the-charming-genius-of-the-apollo-guidance-computer#fly-by-wire1 2At 16:30 fly by wire is controlling an idealized model which then controls the real systems talk-the-charming-genius-of-the-apollo-guidance-computer#fly-by-wire1 2
talk-the-charming-genius-of-the-apollo-guidance-computer#proof-by-exhaustive-testing At 40, proof by exhaustive testing (putting someone in the virtual capsule and hammering them with all sorts of different scenarios). More common in aerospace industry. talk-the-charming-genius-of-the-apollo-guidance-computer#proof-by-exhaustive-testing