talk-data.com

Meetup workshop 2025-10-28 at 18:00

Pearl 9 – Finding Celebrities

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

Topics

dafny formal verification functional programming

Description

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.