Prover maintains several partner programs for the members of our ecosystem.
Companies that display this logotype provide control and signaling hardware platforms fully supported by Prover iLock (including the Coder, Simulator, and Verifier modules).
Companies that display this logotype have Prover Certified Specification Engineers on staff.
Companies that display this logotype sell Prover Plug-In based software products for model checking, equivalence checking, property checking, test generation, etc.
Prover Technology is a member of the SWERIG group - the Swedish Rail Industry Group.
The SWERIG group is an independent organisation with some 50 member companies representing the very best of what Sweden can offer within the railway sector.