Formal Verification of Curl #19298
shatachandra
started this conversation in
Ideas
Formal Verification of Curl
#19298
Replies: 1 comment 1 reply
-
|
Is that even possible? How is that done? What does it mean in practical terms? Is it even worth considering when we are still committing changes at a fairly high rate? |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Will respond when I'm prepared to answer the practical questions. Just posted here to start the discussion |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello, I saw on LinkedIn that all issues at the time were resolved and the community was looking for next steps.
I think if curl were formally verified (a la the 6th volume of the Software Foundations series for C verification) it could provide an excellent example for how to prove important libraries meet specification
Beta Was this translation helpful? Give feedback.
All reactions