I'm curious if increased adoption of formal verifications would increase migration of legacy COBOL to modern systems.
It seems like it’s a good fit. Proving equivalence is much easier than writing a spec without a golden reference.
alt Hacker News
It seems like it’s a good fit. Proving equivalence is much easier than writing a spec without a golden reference.