Monday 16 June 2025 16:00 - 17:30
Speaker : Wander Nauta
Subject : Improving robustness of the VerCors verification toolset using fuzzing
Date : 16 June 2025
Time : 16.00 hr
Location : Carre 3B
More colloquia
- Thu 5 Jun 2025 16:00 - 17:30Master Colloquium - Sidhharth Balakrishnan (M-EMSYS)
- Fri 6 Jun 2025 09:00 - 10:30Master Colloquium - Peter Smit (M-CS)
- Tue 10 Jun 2025 09:00 - 10:30Master Colloquium - Stijn Nowee (M-EMSYS)
- Thu 12 Jun 2025 10:30 - 12:00Master Colloquium - Tongli Zhu (M-ROB)
- Fri 13 Jun 2025 14:00 - 15:30Master Colloquium - Felix Tieleman (M-ROB)