8 citations · 37 across the 26 of their papers we have counts for
1 paper · 2 filters
Idan Refaeli, Maya Swisa, Itay Buchnik +5
We present our ongoing work on the veriFIRE project: a collaboration between industry and academia, aimed at applying verification to increase the reliability of a real-world, safe…