top of page
신문

News

News of VPlusLab for the Safety of Advances Technologies

  • 브이플러스랩

Workshop: Full Stack SW Multilingual Verification and Debug Workshop

- Attending research labs at 9 universities, including KAIST and Pohang Univ. of Science and Technology, and about 10 companies, including Hyundai Motor, LIGnex1, and Suresoft, are participating


- Workshop introduction slide [pdf]/ Workshop Program [pdf]





43 views

Comments


bottom of page