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
Tue 27 Jan 2026 19:30 - 21:00In search of a new world order
Tue 3 Feb 2026 19:30 - 21:00AI with forethought
Thu 12 Feb 2026 12:00 - 13:00Online information meeting parttime Master Public Management
Thu 12 Feb 2026 20:00 - 22:00Brrr, the warm Gulf Stream is slowing down!
Tue 17 Feb 2026 19:30 - 21:00Investing in a better world