all options
bullseye  ] [  bookworm  ] [  sid  ]
[ Source: dafny  ]

Package: dafny (2.3.0+dfsg-0.1)

Links for dafny


Debian Resources:

Download Source Package dafny:


External Resources:

Similar packages:

programming language with program correctness verifier

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.

Other Packages Related to dafny

  • depends
  • recommends
  • suggests
  • enhances

Download dafny

Download for all available architectures
Architecture Package Size Installed Size Files
all 478.3 kB1,852.0 kB [list of files]