Yakir Vizel - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

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

2023

NFM

Condition Synthesis Realizability via Constrained Horn Clauses

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile