Lectures

2021/2022

Saptamana 1  

Curs 1 -- Introducere

Saptamana 5  

Curs 5 -- Analiza statica

Saptamana 6  

Curs 6 -- Model checking

Saptamana 7  

Curs 7 -- Formal specification (p.146-186)

Specification with JML: JML tutorial (by Kind Software)

Saptamana 14  

ghid Writing Testable Code

Acknowledgements

Acest curs are la baza cursul de Verificare si Validare Software al conf. dr. ing. Marius Minea, curs pe care il puteti accesa aici