| A Survey of Smart Contract Formal Specification and Verification |
 Computing Surveys |
Sep 2021 |
 Formal Methods for Secure Bitcoin Smart Contracts |
Universita degli Studi di Cagliari |
Apr 2021 |
 Tendermint Blockchain Synchronization: Formal Specification and Model Checking |
 International Symposium on Leveraging Applications of Formal Methods |
Oct 2020 |
| Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities |
 Computers & Security |
Oct 2020 |
| A Formal Verification Framework for Security Issues of Blockchain Smart Contracts |
 Electronics |
Feb 2020 |
| HAL Formal Verification and Model-Based Testing Blockchain Based Healthcare |
HAL |
2020 |
| Thesis Effective Domain-Specific Formal Verification |
Budapest University of Technology and Economics |
2020 |
| Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol |
Proceedings of the Second Workshop on Formal Methods for Blockchains |
2020 |
| Proceedings Formal Methods for Blockchains |
Proceedings of the First Workshop on Formal Methods for Blockchains |
2019 |
| Formal Specification and Verification of Smart Contracts in Azure Blockchain |
- |
2019 |
| Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms |
 |
2019 |
| Formal Verification of Blockchain Smart Contract based on Colored Petri Net Models |
43rd Annual Computer Software and Applications Conference (COMPSAC) |
2019 |
| A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods |
Procedia Computer Science - Elseiver, International Conference on Knowledge-Based and Intelligent Information & Engineering Systems |
2019 |
| Survey of Formal Verification Methods for Smart Contracts on Blockchain |
|
2019 |
| Smart Contracts and Opportunities for Formal Methods |
International Symposium on Leveraging Applications of Formal Methods |
Oct 2018 |
| Formal Design, Implementation and Verification of Blockchain Languages |
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Jul 2018 |
| Formal Modeling and Verification of Blockchain System |
ICCMS |
Jan 2018 |
| Formal verification of smart contracts based on users and blockchain behaviors models |
|
2018 |
| A Temporal Blockchain: A Formal Analysis |
International Conference on Collaboration Technologies and Systems |
2016 |
| Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods |
Programming Languages with Applications to Biology and Security |
2015 |
| How formal analysis and verification add security to blockchain-based systems |
FMCAD |
- |
| Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol |
- |
- |