Dokazovanje z jezikom Dafny

Programerski klub vabi na delavnico dokazovanja pravilnosti programov. Pri tej delavnici se bomo spoznali s programskim jezikom Dafny, ki omogoča interaktivno dokazovanje pravilnosti funkcijske, proceduralne in objektno usmerjene kode.

Na prenosnih računalnikih je priporočena predhodna namestitev razširitve Dafny VS Code. Prav tako pa lahko uporabite računalnike iz računalniške učilnice. Potrebno je osnovno razumevanje programiranja in dokazovanja.