3 ms·
Do we have formal verification for formal verification yet? I want to make sure my verification does not have bugs.
by Cloudef 4y ago
Do we have formal verification for formal verification yet? I want to make sure my verification does not have bugs.
- mjb 4y agoYes, it's an active area of research. One very recent example, focusing on Dafny: https://www.amazon.science/publications/testing-dafny-experience-paper https://www.amazon.science/publications/testing-dafny-experi...