Lessons of Formal Program Design in Dafny.

Published in: FMTea (2021)

Keyphrases

case study
engineering design
formal methods
databases
user interface
knowledge based systems
building blocks
design process
power consumption
conceptual model
design principles
modelling language