Our First Program
Published in Apress eBooks • Jan 1, 2022
NobleIDNI3P58W00R19S76
Authors:
Boro Sitnikovski
Abstract
Dafny is an imperative programming language that allows software to be verified through preconditions, postconditions, and invariants. Designed by Rustan Leino and developed by Microsoft since 2009, Dafny is used in academia and the industry and is regularly used in software verification competition...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!