Trustworthy Tuesday - November
“Trustworthy Tuesday” is a “snackable science” forma during lunch time. We provide research insights with scientists presenting their work in the field of formal verification. This time Wolfgang Kunz talks about Formal Hardware Verification.
Description
We want to break down the complex topic of formal verification and trustworthy IT into small bites. After the lunch break, a short input and a discussion round will provide an insight into research approaches and best practices.
We invite students, experts and other interested parties to “snack” on this new knowledge after their lunch break.
With input presentations lasting 15-20 minutes, we invite participants to join in a subsequent discussion and a round of technical questions to highlight current developments, best practices and practical approaches.
This time Wolfgang Kunz gives his talk “Desiging correct and secure chips: how can formal methods help?” about formal hardware verification.