On November 12, the Faculty of Computer Science, Physics, and Mathematics hosted an open online lecture titled "Formal Verification of Ethereum Virtual Machine Bytecode Using A.A. Letichevsky’s Insertion Modeling Method."
The lecturer was Viktor Rud, a PhD student* at the Faculty of Computer Science, Physics, and Mathematics within the "Software Engineering" educational and scientific program.
The lecture addressed a highly relevant issue in modern cybersecurity and Computer Science: ensuring the reliability of software code in blockchain systems. Viktor Rud presented an in-depth analysis of how classic methods from the national school of cybernetics can be adapted to cutting-edge technologies.
The discussion covered: 🔹 The Letichevsky Insertion Modeling System (LIMS).
🔹 The differences between Model Checking and SMT solvers.
🔹 How to mathematically prove the absence of errors in a smart contract.
🔹 Tools such as VerX and Certora, and their comparison.
We thank Viktor for an insightful presentation and for promoting scientific research at the Faculty!
You can: Print version Send to friend