SolCMC: Solidity Compiler’s Model Checker
Authors: Leonardo Alt, Martin Blicha, Antti Hyvärinen and Natasha Sharygina
Paper Information
| Title: | SolCMC: Solidity Compiler’s Model Checker |
| Authors: | Leonardo Alt, Martin Blicha, Antti Hyvärinen and Natasha Sharygina |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Ethereum, Solidity, Symbolic Model Checking, Constrained Horn Clauses, Satisfiability Modulo Theories |
| Pages: | 13 |
| Talk: | Aug 07 17:20 (Session 92A: Software Verification and Model Checking) |
| Paper: |  |