There are two principal approaches to formal verification: model checking and theorem proving

[amin...@gmail.com]

Hello,


I am a white arab that is an inventor of many scalable algorithms and
there implementations.

There are two principal approaches to formal verification: model checking and theorem proving.

Read more here:

Why don't people use formal methods

https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/


And here is more of my thoughts about it, read them carefully:

https://community.idera.com/developer-tools/general-development/f/getit-and-third-party/71464/about-turing-completeness-and-parallel-programming



Thank you,
Amine Moulay Ramdane.