# Source: dafny
# Package: dafny
# Versions: dafny (1.9.5-1), dafny (1.9.7-1), dafny (2.3.0+dfsg-0.1)
# This Description is owned
# Prioritize: 42
Description: 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.
Description-it: linguaggio di programmazione con strumento per verificare la correttezza dei programmi
 Dafny è un linguaggio di programmazione con uno strumento per verificare i
 programmi. Lo strumento di verifica elabora asserzioni, precondizioni e
 postcondizioni delle funzioni e invia tutto a un risolutore SMT per il
 controllo. In questo modo, i fallimenti delle asserzioni diventano errori
 del compilatore, invece che errori al momento dell'esecuzione.

# other Descriptions of the dafny package with a translation in it:
#