1 paper
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…