talk-data.com talk-data.com

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.