6 ms·
Yes, but you wrote "formal verification of programs (aka static analysis)". Formal verification is not also known as static analysis.
by irundebian 7y ago
Yes, but you wrote "formal verification of programs (aka static analysis)". Formal verification is not also known as static analysis.