2 ms·
Formal verification just proves that the software conforms to some specification. How do you proved the spec has no mistakes?
by goto11 7y ago
Formal verification just proves that the software conforms to some specification. How do you proved the spec has no mistakes?