2 ms·
Formal verification is very good at proving that compiler transformations preserve semantics. Programming language semantics are pretty well specified (at least
by adrianN 4y ago
Formal verification is very good at proving that compiler transformations preserve semantics. Programming language semantics are pretty well specified (at least for some programming languages...), so the chance of bugs in the specification are low.