Properties of UTxO Ledgers and Programs Implemented on Them

Polina Vinogradova, Alexey Sorokin

Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purp…