携手形式化方法 守望计算之春——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞

伴随着区块链概念的大火,整个金融市场似乎都显得异常兴奋,可在区块链概念被越来越多的人所知晓的同时,金融市场的不景气也在迫使区块链的浪潮逐渐退去。但不可否认的是,在这个过程中,区块链领域也取得了一些实质性的进步。其中,形式化验证的应用就是极为重要的一方面。