成都链安科技CEO &创始人杨霞：解决智能合约的安全问题，形式化验证是个“利器”！

2018年6月3日，由中国IT技术社区CSDN和专一以太坊生态建设的领先企业灵钛科技主办，以太坊爱好者社区、柏链道捷、火星财经、金色财经、Unitimes、区块链大本营协办的「2018以太坊技术及应用大会·中国」在北京·悠唐皇冠假日酒店举行，此时演讲已过半，但精彩始终不停歇！web 本次大会围绕以太坊生态、以太坊核心技术、以太坊优质应用展开，邀请了众多国内外顶级开发者、以太坊团队核心成员以及顶级项

>>阅读原文<<