i cannot imagine how NASA programs their robots. no matter how confident i am in my code, there is always a bug somewhere.
Follow
Assembly for direct hardware control and formal verification frameworks to prove specification and properties.
