Whoa, I'm not given to sarcasm - honest! ???
What I meant was that no matter how much you pay for a system which produces code for you, unless you understand and can verify its operation you can never be sure that it truly 'works'.
Also, I was being honest about aircraft software, that's what I currently do - verify software used on fighter aircraft, including PIC based and ST10.
Have a Nice Day
Ed