Proof Complexity vs. Code Complexity
December 26, 2022 at 9:52 pm
Formal
Research
Papers
Towards Formal Proof Metrics
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification