VerX

swMATH43071MaRDI QIDQ5973748FDOQ5973748

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: VerX