Formal Verification and Performance Simulation in Real-World Applications - A Case Study with the Stellar Blockchain
Explore formal verification and performance simulation techniques applied to real-world blockchain systems through a case study of the Stellar network. Delve into the practical approach of network simulation, focusing on transaction subsystems and distributed network behavior. Examine the theoretical approach of formal verification, learning how to create models, list properties to prove, and test implementations. Gain insights into solving complex problems iteratively, starting with simplified solutions and building towards comprehensive understanding. This conference talk, presented by Nicolas Barry and Hidenori Shinohara from the Stellar Development Foundation, offers valuable lessons for developers and researchers working on distributed systems and blockchain technologies.