From: d@d.d   
      
   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/   
   /getit-and-third-party/71464/about-turing-completeness-and-parallel-programming   
      
      
      
   Thank you,   
   Amine Moulay Ramdane.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)