Back to Teaching Page

Verificare Formala

Cursuri si laboratoare

Materialele de curs se gasesc pe Google Classroom (cod: xtq2knl). Acolo gasiti si link pentru intalnirile online.


  1. Sandip Ray. Scalable Techniques for Formal Verification. Springer 2010.
  2. E. M. Clarke, J. M. Wing. "Formal Methods. State of the Art and Future Directions", ACM Computing Surveys, vol. 28, no. 4, pp. 626-643, Dec. 1996.
  3. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM. 12 (10): 576580.
  4. Wolfgang Schreiner. The RISC Algorithm Language - Tutorial and Reference Manual (Version 1.0). RISC technical report.
  5. John Harrison. Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009.
  6. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering. 23 (5), pp. 279-295, 1997.