Combining Tests and Proofs with Contracts for Better Software Verification

2026-10-16来源 Hacker News NewEnglish

Article URL: https://dl.acm.org/doi/10.1145/3793869

Comments URL: https://news.ycombinator.com/item?id=50108206

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/combining-tests-and-proofs-with-contracts-for-better-software-verification-f61537.html

相关文章