3rd International Workshop on Formal Methods for Blockchains (FMBC)

Bruno Bernardo, Diego Marmsoler

Abstract: This workshop is a forum to identify theoretical and practical approaches of formal methods for blockchain technology. Topics include, but are not limited to: Formal models of blockchain applications or concepts, Formal methods for consensus protocols, Formal methods for blockchain-specific cryptographic primitives or protocols, Formal languages for Smart Contracts, Verification of Smart Contracts

Visit the workshop's website, or select an event below to watch its recording.