AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Browse the full RV paper archive.