多项选择题

智能合约的安全性保障措施可以包括()

A.代码审计
B.形式化验证
C.安全测试
D.定期更新