Using dafny to solve the VerifyThis 2021 challenges.

Marie Farrell Conor Reynolds Rosemary Monahan

Published in: FTfJP@ECOOP (2021)

Keyphrases

lessons learned
real world
key issues
application scenarios
decision making
hidden markov models
technical challenges
open issues