DafnyBench: A Benchmark for Formal Software VerificationView PDF#AI#Verification#Paper#PDF#Benchmark#Software Engineering#Machine Learning#Programming Languages·arxiv.org·Jun 14, 2024DafnyBench: A Benchmark for Formal Software Verification
Why Functional Programming Should Be the Future of Software Development#Software Engineering#Programming Languages#Coding·spectrum.ieee.org·Oct 23, 2022Why Functional Programming Should Be the Future of Software Development