Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.

Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert

Browse the full SACMAT paper archive.