Session on Pearl 11 (Not the maximum segment sum) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring verification strategies.
talk-data.com
Topic
dafny
2
tagged
Activity Trend
2
peak/qtr
2020-Q1
2026-Q1
Filtering by:
Verification Hack and Learn: Implementing Pearls of Functional Algorithm Design
×
Session on Pearl 9 (Finding Celebrities) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring how the language's specification and proof system can capture correctness.