Rapita Systems

The company develops tools that simplify the generation of evidence regarding the correctness of the temporal behavior of security applications in critical domains such as avionics and automotive. This technology, called micro-benchmarks, will significantly reduce the cost for end users to provide proof of the correct synchronization behavior of the application on multicore hardware platforms.

Website: https://www.rapitasystems.com/
Email: mailto:info@rapitasystems.com
Phone: +34 93 351 02 05