PDF:
solc-verify: A Modular Verifier for Solidity Smart Contracts
| Title | solc-verify: A Modular Verifier for Solidity Smart Contracts |
| Publication Type | Book Chapter |
| Year of Publication | 2020 |
| Authors | Hajdu, Á., and Jovanović, D. |
| Book Title | Verified Software. Theories, Tools, and Experiments |
| Series Title | Lecture Notes in Computer Science |
| Volume | 12301 |
| Pagination | 161--179 |
| Publisher | Springer |
| City | New York City, USA |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-41600-3_11 |
| DOI | 10.1007/978-3-030-41600-3_11 |
