🤖🚫 AI-free content. This post is 100% written by a human, as is everything on my blog. Enjoy!

A formal prover for certain programs in the Javascript programming language

July 6, 2015 in JavaScript

A graduate thesis by Leonid Shevtsov, completed at the Dnipropetrovsk National University’s Computer Technology chair, under the supervision of Alexander Khizha


This thesis is concerned with developing an automatic system for sound formal proofs of programs written in a certain imperative subset of Javascript with logical annotations.

Source code

The source code and instructions can be obtained at the project’s page on GitHub.


Supplementary text of the thesis (in Ukrainian, PDF format)


Apple Keynote format (in Russian)

Buy me a coffee Liked the post? Treat me to a coffee