Comment on C*: Unifying Programming and Verification in C (2025)parentComments−rramadassOP1dYou might find the paper Verification for legacy programs by Michael Ernst useful - https://homes.cs.washington.edu/~mernst/pubs/legacy-verifica...Also see Round-Trip Correctness: A New Metric for Generative AI-Based Process Modeling - https://news.ycombinator.com/item?id=49033317
Comments
You might find the paper Verification for legacy programs by Michael Ernst useful - https://homes.cs.washington.edu/~mernst/pubs/legacy-verifica...
Also see Round-Trip Correctness: A New Metric for Generative AI-Based Process Modeling - https://news.ycombinator.com/item?id=49033317