In the meantime, two different implementations of the key-server were created.
Gidon Ernst created a Scala version:
I created a full java version (incl. a REST interface)
Author: Alexander Weigl, weigl@kit.edu
In the meantime, two different implementations of the key-server were created.
Gidon Ernst created a Scala version:
I created a full java version (incl. a REST interface)
Author: Alexander Weigl, weigl@kit.edu
At the KeY Symposium 2019 (Manigod, France), the VerifyThis Challenge has been announced.
The challenge is currently rudimentary and will be updated soon.
A mailing list is available for participants: verifythis-ltc@lists.kit.edu.
For question, you can directly get in touch with organisers via the Github issues or email (verifythis-ltc-request@lists.kit.edu).
Good luck.
Marieke Huisman, Raul Monti, Mattias Ulbrich, Alexander Weigl