A formal model for ledger management systems based on contracts and temporal logic

Paolo Bottoni, Anna Labella, Remo Pareschi

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…