Efficient Static Analysis of Marlowe Contracts.

Pablo Lamela Seijas David Smith Simon J. Thompson

Published in: ISoLA (3) (2020)

Keyphrases

static analysis
dynamic analysis
source code
data sets
case study
java card
symbolic execution
regular expressions
abstract interpretation