Explore Research
Projects
People
Partnerships
Publications
News and events
News
Events
Research Days
Blog
Magazine
Ondřej Vašík
Senior Engineering Manager
View people
Research Areas
Testing and Ops
RIG(s)
Europe
Partner Universities
Brno University of Technology
Related Projects
AUFOVER: The Automation of Formal Verification