Prover
Engineering a Safer World
https://www.prover.com
Details
Employees
71
Founded
1989
Location
Stockholm
, Sweden
Phone
4686176800
Industry
software development
Keywords
formal safety verification of relay-based interlocking systems
formal safety verification of computer-based interlocking systems
specification, coding, simulation and verification of railway signalling systems
Browse SuperAGI Directories
AI Native CRM for Unified Sales, Support & Marketing
Accelerate growth and streamline your entire stack with AI CRM Platform