POSITIVE HACK DAYS



ORGANIZER

Program

Formal verification of C code

Want to visit   +23

Author: Denis Efremov

The report covers the issue of developing correct software applying one of the types of static code analysis. The speaker will also address the matters of using such methods, their weaknesses and limitations, as well as the results they can produce. Using case studies, the speaker will show what C code specification development and evidence of the code conformity to specifications look like.

  • Language
  • Russian
Denis Efremov Denis Efremov

Back to the list