퍼징 도구 시리즈: Certora Prover

카테고리

Vacío

이 비디오는 Certora Prover에 대한 소개를 제공합니다. Certora Prover는 스마트 계약의 보안을 검증하기 위한 강력한 퍼징 도구입니다. 이 도구는 코드의 취약점을 찾아내고, 개발자들이 보다 안전한 스마트 계약을 작성할 수 있도록 돕습니다.

•