This is actually a harder problem in a lot of ways, though, because you can think of a space shuttle as getting to a fixed point and then you kind of like or an airplane and you like freeze the software and then you like prove it and you're good to go.