KTH Demo: Proof Generation

Overview

Online Demo
Load Java-source files
Compile class files
Inline class files
Preverify class files
Generate proof
Package into .jad/.jar
Verify policy adherence

Offline Demo
Download executable

Demo Videos
Developers Perspective
Users Perspective (fail)
Users Perspective (success)
Bad page request