3 ms·
Sure, things like enforcing style guides, etc. can be seen as lightweight formal verification.
by thekhatribharat 7y ago
Sure, things like enforcing style guides, etc. can be seen as lightweight formal verification.
- irundebian 7y agoYes, but you wrote "formal verification of programs (aka static analysis)". Formal verification is not also known as static analysis.