SafeRiver englobe une gamme d'outils pour répondre à la compléxité, à l'évolution et à la prévisibilité des procéssus de preuve :

- Les propriétes du niveau des systèmes peuvent être traitées

- Nos outils ont été utilisés sur un grand nombre de modèles différents

  • Le facteur de réduction du temps est égal à 50
  • La consommation de la mémoire est réduite d'un facteur 10.