59 citations · 72 across the 8 of their papers we have counts for
1 paper · 1 filter
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly ef…