Verification Driven Program Development (Dezvoltarea de Programe Bazată pe Verificare) 2025-2026
- Notare
- Evaluare pe parcurs
- bonus pentru prezența la curs: maxim 10p (1p pentru fiecare curs);
- prezența la laborator: maxim 10p (1p pentru fiecare laborator);
- rezolvarea în timpul laboratorului a fișelor de exerciții: maxim 30p;
- lucrul la proiect în timpul laboratorului: maxim 30p;
- implementarea, replicarea și îmbunătățirea rezultatelor dintr-un articol științific: maxim 30p.
- Reexaminare: maxim 100p (punctajele pentru activitățile de mai sus nu se iau în calcul).
- Nota finală se calculează prin împărțirea punctajului final la 10 și rotunjire la cel mai apropiat întreg mai mic sau egal decât 10.
- Contact
- Curs: Ștefan Ciobâcă - stefan.ciobaca@uaic.ro
- Ediții Precedente
Referințe Bibliografice
Plan de lucru
Introducere și Motivație
Programare Funcțională în Dafny
Propoziții Logice
Programare Imperativă în Dafny
Programare Orientată Obiect în Dafny
Demonstrații
Verificarea Programelor de Mari Dimensiuni
Materiale
- Săptămâna 1
- Săptămâna 2
- Săptămâna 3
- Săptămâna 4
- Săptămâna 5
- Săptămâna 6
- Săptămâna 7
Deschidere an universitar.
Curs: DFY.
Fișă de lucru laborator: PDF.
Curs: curs03.dfy curs03exe.dfy curs03A.dfy curs03B.dfy curs03C.dfy curs03D.dfy curs03E.dfy curs03F.dfy curs03G.dfy curs03H.dfy curs03I.dfy.
Fișă de lucru laborator: PDF.
Curs: curs04.dfy.
Fișă de lucru laborator: PDF.
Curs: curs05.dfy.
Bubble-sort: bubble.dfy.
Fișă de lucru laborator: PDF.
Curs: curs06.dfy.
Fișă de lucru laborator. Înlocuiți toate TODO-urile cu demonstrații în următorul fișier: lab06.dfy.
Curs: week07.dfy.
Fișă de lucru laborator: PDF.