Programerski klub FMF: Računalniška delavnica 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 Dafny VS Code razširitve. Prav tako pa lahko uporabite računalnike iz računalniške učilnice. Potrebno je osnovno razumevanje programiranja in dokazovanja.

Lepo vabljeni!