Certora Prover v7.29.1이 출시되었습니다! Prover는 스마트 컨트랙트가 모든 가능한 상태와 입력에 대해 올바르게 동작하는지 검증하는 오픈소스 도구입니다. 이번 릴리스에는 더욱 안전한 사양을 작성하고, 구성을 간소화하고, 더욱 효율적으로 작업할 수 있도록 돕는 새로운 기능이 추가되었습니다. 새로운 기능 소개 👇🧵
이 기사는 기계로 번역되었습니다
원문 표시
Twitter에서
면책조항: 상기 내용은 작자의 개인적인 의견입니다. 따라서 이는 Followin의 입장과 무관하며 Followin과 관련된 어떠한 투자 제안도 구성하지 않습니다.
라이크
즐겨찾기에 추가
코멘트
공유




