SafeRiver re-invests a great part of its funds in Research and Development activities. This allows the creation of tools, the enhancement of existing tools, in order to bring more efficiency in our activities. We can then provide a better service to our clients. These tools (SR Toolkit) are available for our clients.
SafeRiver is aware of latest validation technologies: proof tools, model-checking tools, static analysis tools. We can adapt our offers depending on the needs of our clients, and even propose analysis approaches unheard of.
Through the presence of SafeRiver in several collaborative projects or by the high qualification of its employees, SafeRiver keeps close links with the academic world. We are also an actor of scientific breakthroughs in our areas of excellence.