Verifying Code That Calls Code You Can't Trust • Sophia Drossopoulou • Bug Bash EU 2026
0:00 · Watch on YouTube
[Content] 이 비디오는 외부 객체에 대한 확장된 단언 언어와 두 가지 보호 개념을 소개하고, 약간 다른 불변식 개념을 통한 불변성으로 전환하기 전에 "결국 접근할 수 없음" 요소를 마무리한다.
0:00 · Watch on YouTube
[Content] 이 비디오는 외부 객체에 대한 확장된 단언 언어와 두 가지 보호 개념을 소개하고, 약간 다른 불변식 개념을 통한 불변성으로 전환하기 전에 "결국 접근할 수 없음" 요소를 마무리한다.