Using Mathematics to Verify Software by Georgii Plotnikov скачать в хорошем качестве

Using Mathematics to Verify Software by Georgii Plotnikov

Topic: We explore the most advanced method to verify software. We will compare conventional testing strategies and their limits, and also explore using mathematical modeling to find errors that standard testing can’t discover. ‍Speaker: As the CEO of Inferara (Japan). Georgii has been involved in software development, blockchain system analysis, and security initiatives. He has been coding for more than a decade. Primarily focusing on formal-languages, compilers, and automated theorem proving for software verification. Developed static analyzers for Ethereum, Stellar, and Midnight (Cardano), designed for vulnerability detection and to mitigate potential hacks. Over the past 3 years, Georgii has been working to make formal verification accessible for everyday developers. As the lead of the Inference programming language team, he continues to contribute to open-source solutions that aim to further secure both finance and traditional software systems. Please visit our website to learn more about Luminari: https://luminari.jp You can also follow our company on LinkedIn:   / luminari-k-k