KeY - Dependency Tracking 2013(Reviewers Only)

This is the website to a prototypical implementation of KeY for delimited information release analysis using explicit dependency tracking.

• Start KeY-Dep via webstart.
• Examples

Requirements

• Sun/Oracle Java Virtual Machine 1.6

Why Sun Java?

We tested it only with Sun's Java VM 1.6 (so 1.5 should work fine as well) implementation. Others might or might not work.

Please make sure that

java -version produces an output close to Java(TM) SE Runtime Environment (build 1.6.0_xyz)
Java HotSpot(TM) Client/Server VM

On Ubuntu you can change the default Java SDK via sudo update-alternatives --config java and sudo update-alternatives --config javac