Trustworthy Tuesday - December
Trustworthy Tuesday offers the opportunity to enter the exciting world of formal verification and trustworthy IT. In December, Mo Fadiheh will talk about property generators.
Description
In December, Mo Fadiheh will talk about Property Generator: Generating Formal Assertions for Trustworthy Hardware.
Trustworthy Tuesday is a compact lunchtime webinar series that provides exciting insights into the field of trustworthy IT systems and formal verification. With 15-20 minute input presentations, we invite participants to a subsequent discussion and a round of technical questions to highlight current developments, best practices, and practical approaches.
The series is aimed at both students and interested parties who want to gain an insight into formal methods and trustworthy IT—without having to take a full seminar. The compact format is ideal as a “knowledge snack” during your lunch break.