verificação de software

Application of formal methods and AI to prove that software is free of errors or dangerous flaws.