maandag 16 juni 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
Meer colloquia
- vr 6 jun 2025 09:00 - 10:30Master Colloquium - Peter Smit (M-CS)
- ma 16 jun 2025 16:00 - 17:30Master Colloquium - Pelle de greeuw (M-CS)
- wo 18 jun 2025 14:00 - 15:30Master Colloquium - Stijn Schuurman (M-CS)
- do 19 jun 2025 14:00 - 15:30Master Colloquium - Chiara Rizzato (M-CS)
- wo 25 jun 2025 14:00 - 15:30Master Colloquium - Sanne Bouman (M-CS)