Thursday 17 October 2019 15:45 - 16:30
There is a bug in Java's LinkedList. In this technical demo session, the KeY theorem prover is shown in action, as we walk through verification of some methods of a repaired LinkedList implementation, and explain the most interesting steps of its correctness proof.
More events
Thu 9 Apr 2026 16:15 - 18:00Farewell reception Vinod Subramaniam
Thu 9 Apr 2026 20:00 - 22:00Acoustics: from wooden recorders to digital sound design
Sun 12 - Wed 15 Apr 2026MARID VIII
Tue 14 Apr 2026 19:30 - 21:00The colourful universe of Bas Kosters
Wed 15 - Fri 17 Apr 2026STS NL Conference April 15-17, 2026