随着区块链技术的广泛应用，区块链的生态变得越来越丰富，随之而来的安全问题也越来越严重。加之区块链技术本身的特点和不足，财务风险和安全问题不断暴露，安全事件不断重复，引发了越来越多的安全事件。共识层作为区块链技术中极为重要的一部分，共识协议的安全性直接影响到整个区块链系统的正常运行。Tendermint作为一个易于理解且大部分操作为异步的拜占庭容错共识协议，已被广泛应用于区块链系统中，但其安全性尚未得到验证。
鉴于此，东南大学课题组提出一种针对Tendermint共识协议的形式化验证方法，通过分析Tendermint共识协议中节点的状态转换过程，构建包含诚实节点和拜占庭恶意节点的共识模型，模拟不同节点在不同共识阶段下的状态以及相应的消息传递，最后利用Spin工具对Tendermint共识协议进行模型检测，利用线性时序逻辑公式验证共识机制的安全性和活性，查看该共识协议是否满足特定的安全要求。
目前，该工作以专利名“一种针对Tendermint共识协议的多阶段自动化的形式化验证方法”被国家知识产权局授予专利权，发明人是李必信、包骐豪，均来自东南大学。