-
Notifications
You must be signed in to change notification settings - Fork 27
2nd Hackeython
21/22 February 2024
both days: 10:00 am - 6:00 pm
Am Fasanengarten 5
76131 Karlsruhe
Building 50.34
Lab room 201
Wednesday at 7pm: Dinner at Vogelbräu
-
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 a user-friendlier experience. Shepard: Richard
-
Error Reporting Shepard: Mattias Topic page
-
Visions on how the project management workflow is to look in the future. Shepard: Daniel. Topic page
- Verification Template -- Providing the best suitable environment for making the side-task of Java verification an ease.
-
Remote Procedure API -- Infrastructure on KeY side ready, need a client in Python or other language Shepard: Alexander
-
How to deal with missing library functions such as
System.out.println*and other frequently used system functions (e.g. Arrays.toString())? Shepard: Wolfram Topic Page -
Look at how invariant/spec generation tools can be incorporated into the KeY workflow. ChatGPT, Daikon, ... That would be more playing around with what is there. Expected output: Recommendations on if/how such invariant candidate generators can be included into KeY easily. Shepard: Michael
-
Destructors (observers) for user-defined ADTS. Shepard: Mattias Topic page
-
SMT translation without type embedding/hierarchy (u2i, i2u functions etc.) Shepard: Wolfram
This page shows a list of bugs and existing (unfinished) PRs that might be good candidates for tasks to tackle during the HacKeYthon:
https://github.com/orgs/KeYProject/projects/11/views/1?layout=board