ProvedModels

What do we do?

We develop complete software and hardware solutions for the financial and industrial sector with emphasis on the formal verification of the software and firmware being used. Additionally we are involved in research into using pure functional programing paradigm languages for the problems with hard real time requirements.

Contact