solc-verify

swMATH43070MaRDI QIDQ1351434FDOQ1351434

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1907.04262

Source code repository: https://github.com/SRI-CSL/solidity

Cited In (5)

• VerX
• DeepSEA
• Compositional verification of smart contracts through communication abstraction
• How to exploit a DeFi project
• Manticore

This page was built for software: solc-verify