NASA Formal Methods 2023 (series) / Yakir Vizel
![Yakir Vizel](https://conf.researchr.org/getProfileImage/yakirvizel/d576a5e1-b519-4770-a7a7-53165e24f914/small.jpg?1711549165000)
Registered user since Sat 18 Apr 2020
Name:Yakir Vizel
Country:Israel
Affiliation:Technion—Israel Institute of Technology
Personal website: http://www.cs.technion.ac.il/~yvizel/index.html
Research interests:Formal Verification, Model Checking
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile