[Horizontal markets] Formal Software engineering [1] 
OpenComRTOS was formally developed and verified using formal methods like TLA+/TLC and UPPAAL. Our engineers can support you in formally developing your software and verifying it.