Dafny
All Editions
Wed 17 - Fri 19 January 2024 London, United KingdomDafny 2024 with POPL 2024Overview Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny’s role in teaching. Topics include but are not limited ... |