2nd Hackeython

Days

21/22. Februrary 2024

both days: 10:00 am - 6:00 pm

Venue

Karlsruhe

Topics

• JML-based Invariant Dialog -- Having an Invariant Dialog that follows the loop specification/clauses of JML and allows also to enter JML formula might provide an user-friendlier experience. No shephard needed.

• Error Reporting Shepard: Matthias

• Verification Template -- Providing the best suitable environment for making the side-task of Java verification an ease. Shepard: Alexander

• Recoder Removal -- We should try to make progress on the removal of the Recoder framework in favor of the javaparser. Current state is debugging and fixing of pattern expression. Shepard: Alexander

• Remote Procedure API -- Infrastructure on KeY side ready, need a client in Python or other language Shepard: Alexander

• 'System.out.println*' und häufig benötigte Systemfunktionen (wie ArraytoString) in JavaRedux deklarieren und u.U. teilweise auch spezifizieren Shepard: Wolfram

• In the repo, there is a tag HacKeYthon. Please mark candidate issues and feature requests!

Social Events

• Suggestions:
  • Vogelbräu