talk-data.com talk-data.com

Meetup workshop 2025-10-28 at 18:00

Pearl 11 – Not the maximum segment sum

Event: Verification Hack and Learn: Implementing Pearls of Functional Algorithm Design

Topics

dafny formal verification functional programming

Description

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.