SSCalc: A Calculus for Solidity Smart Contracts.

Diego Marmsoler Billy Thornton

Published in: SEFM (2023)

Keyphrases

supply chain
smart environments
automated deduction
databases
data mining
e learning
smart objects
real time
smart cities
provably correct
proof procedure
smart grid
theorem proving
activity recognition
ambient intelligence
evolutionary algorithm
video sequences
neural network