FMICS-AVOCS 2017 in Turin

18-20 of September KTH (Royal Institute of Technology) participated in the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, FMICS-AVOCS 2017, celebrated in Turin, Italy. The conference was co-located with the 13th International Conference on integrated Formal Methods (iFM 2017). During the workshop, KTH presented the publication "Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report".