Philipp Kant는 IOHK Formal Method 책임자입니다. 이 영상을 통해 Phlipp은 formal method가 무엇인지, 암호화폐 디자인을 위해 이 방법론이 왜 중요한지 등을 설명합니다. IOHK는 엄밀하고, 신뢰가능한 스프트웨어를 만들기 위한 개발프로세스를 위해 본 방법론을 도입해왔습니다.
Philipp은 연구논문이 실행가능한 형태로 어떻게 활용되는지와, 이에대한 추가 단계에 대해 자세히 설명합니다.
지난 4월 함부르크에서 카르다노의 IOHK기술설명 프레젠테이션 일부입니다.