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.
Thursday 17 October 2019 15:45 - 16:30
- Wed 6 Dec 2023 13:30 - 15:30University College Twente: 10 years of Self-Directed Learning (SDL) at the UT
- Thu 7 Dec 2023 12:00 - 13:00Online information meeting parttime master Risk Management
- Fri 8 Dec 2023 13:00 - 15:00Infosession post-master Digital Design & Architecture
- Sun 10 Dec 2023Tartaros Campus Challenge!
- Tue 12 Dec 2023 19:30 - 21:00Chill out! The relaxing powers of cold