SafeRiver encompasses tools for addressing complexity, scalability and predictability of the proof process:

- System level properties may be handled

- Our tools have been used on very large models

  • Time reduction factor : 50
  • Memory consumption reduced with a factor 10.