Commit b4059e73 authored by mihai.herda's avatar mihai.herda

Update README.md

parent aed37464
# The project has moved here: https://git.scc.kit.edu/i57/keyjoana
# CombinedApproach - Automatic and Precise Noninterference Verification of Java Programs
This is a project which uses both [JOANA](https://pp.ipd.kit.edu/projects/joana/) and [KeY](https://key-project.org/) to try and analyze
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment