[an error occurred while processing this directive]
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.
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
[an error occurred while processing this directive]