You wont get anything materially useful, apart from an intuition, from using different terminology.
1. English specification of the system and its goals
2. Formal, mathematical specification of the system and its goals
3. Mathematical proof the system met its goals
4. Code implementing that system with a proof, often informal, that the code embodied the informal and formal design.
5. Tests of all functionality to prove the design and code worked.
6. Independent analysis of the above to find flaws in them.
7. If the implementation has concurrency or parallelism, more errors can occur due to that. There were techniques to mitigate it.
Each step found problems in systems made by professionals. Mathematical work and coding both have a long history of errors in their on fields. Combining them increases the likelihood of error.
Further, in machine learning, we see lots of papers with math that doesn't lead to anything useful. Most papers claiming advances over prior architectures don't pan out in later testing. So, there will be skepticism when people make performance claims like the authors'. The best response is just independent testing.