I would love to see some blog posts regarding your experience during this internship. I am working on some formal verification myself for some commercial proje

I would love to see some blog posts regarding your experience during this internship. I am working on some formal verification myself for some commercial projects, and I enjoy reading about stuff like this.