Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
Authors:
- 14 January 2022
- book chapter
- Published by Springer Nature
- p. 425-449
Abstract
No abstract availableKeywords
This publication has 49 references indexed in Scilit:
- The SeaHorn Verification Framework2015
- Property Directed Polyhedral Abstraction2015
- SMT-Based Model Checking for Recursive Programs2014
- Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented SystemsLecture Notes in Computer Science, 2001
- Symbolic Model Checking without BDDs1999
- Fast static analysis of C++ virtual function calls1996
- An empirical study of the reliability of UNIX utilitiesCommunications of the ACM, 1990
- Limits for automatic verification of finite-state concurrent systemsInformation Processing Letters, 1986
- Specification and verification of concurrent systems in CESAR1982
- A unified approach to global program optimization1973