Prover Technology

Prover Technology (Prover) is a leading provider of software solution for development and verification of software-based rail control signaling systems, enabling our customers to capture and maintain mission-critical know how, reduce project lead time and costs, and proved safety. We provide innovative software products that, among other things, replace traditional safety testing with formal safety verification. Prover Technology has subsidiaries in the United States and France, is privately owned by investors and staff, and has customers in more than 25 countries.