no code implementations • 6 Dec 2022 • Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system.