Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples
src
test/jsfp
.gitignore
LICENSE
Makefile
README.md
project.clj
thesis.iml

README.md

Formal proof of certain programs in the Javascript programming language

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

Abstract

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.

Text supplement (in Ukrainian)

Usage

Binary (requires Java): download the binary (.jar) from the project's Releases page, then

java -jar javascript-formal-prover.jar <script-to-prove.js>

From source: install Leiningen, clone the project, go to the directory and run

lein run <script-to-prove.js>

Examples

See /examples for source files that can be proven.


(c) 2015 Leonid Shevtsov under the MIT License