4 ms·

Static analysis is not formal verification.

• thekhatribharat 7y ago
  Sure, things like enforcing style guides, etc. can be seen as lightweight formal verification.
  • irundebian 7y ago
    Yes, but you wrote "formal verification of programs (aka static analysis)". Formal verification is not also known as static analysis.
• exdsq 7y ago
  It's part of the field of formal methods.