SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
| Title | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts |
| Authors | Stephens, Jon and Ferles, Kostas and Mariano, Benjamin and Lahiri, Shuvendu and Dillig, Isil |
| Year | 2021 |
Videos
Links
–