Prover Technology (Sweden)
Railway Signaling Automation with formal methods and digital twin
Engineer safety-critical systems with proof Engineer safety-critical systems with proof Prover helps safety-critical engineering teams turn requirements, verification, evidence, and change into a more structured, repeatable, and scalable lifecycle. Explore solutions Contact us Our solutions Trusted by leading rail operators & suppliers
Company details
- Address
- Stockholm, Sweden
- Website
- prover.com
Reviews
No reviews yet.
Domain and WHOIS record
- Domain
- prover.com
- Registrar
- Domeneshop AS dba domainnameshop.com
- Registered
- 17 Dec 1997
- Expires
- 16 Dec 2026
- Record updated
- 19 Nov 2025
- Name servers
- ns10.dnsmadeeasy.com, ns11.dnsmadeeasy.com, ns12.dnsmadeeasy.com, ns13.dnsmadeeasy.com, ns14.dnsmadeeasy.com, ns15.dnsmadeeasy.com
- DNSSEC
- Not signed