마이크로소프트, 스마트컨트랙트 검증 툴 'VeriSol' 공개

암호화폐 전문 미디어 크립토글로브에 따르면, 마이크로소프트 리서치가 3일(현지시간) 이더리움 기반 솔리디티(Solidity) 스마트컨트랙트를 위한 공식 오픈소스 검증 툴(verification tool) 'VeriSol'을 공개했다. 관련 논문이...