Georgii Plotnikov

Personal site and blog. Please feel free to contact me via the social networks below.

Articles

04/05/2024 [Inferara] Deductive Verification as an Alternative to Push-Button Technologies
03/06/2024 [Inferara] Verification-driven development
02/01/2024 [Inferara] Program Verification: background and notation
10/02/2018 The Provers proof
05/01/2018 Just in time hooking
01/29/2018 Elliptic curves smalltalk vol.2
12/13/2017 Elliptic curves smalltalk vol.1
11/27/2017 Tale about the tail call in dotnet