VerX

MaRDI QIDQ5973748swMATHFDO

Official website https://ieeexplore.ieee.org/document/9152791

Cited in

(8)

• How to exploit a DeFi project
• A lightweight approach to smart contracts supporting safety, security, and privacy
• DeepSEA
• Holistic Specifications for Robust Programs
• Manticore
• GASTAP
• solc-verify
• Compositional verification of smart contracts through communication abstraction

This page was built for software: VerX