Search company, investor...

Prover Technology

Founded Year



Other Investors | Alive

About Prover Technology

PiSPEC aims to enable specification engineers to capture their signaling know-how using an unambiguous and proven formal language

Headquarters Location

Rosenlundsgatan 54

118 63,


Missing: Prover Technology's Product Demo & Case Studies

Promote your product offering to tech buyers.

Reach 1000s of buyers who use CB Insights to identify vendors, demo products, and make purchasing decisions.

Missing: Prover Technology's Product & Differentiators

Don’t let your products get skipped. Buyers use our vendor rankings to shortlist companies and drive requests for proposals (RFPs).

Latest Prover Technology News

Prover Technology Announces Prover Online

Sep 12, 2013

Online Environment Increases Efficiency in Formal Verification-Based Safety Assessment of Rail Control Systems STOCKHOLM, Sept. 12, 2013 /CNW/ - Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced Prover Online, an online environment for integrated tool chains that perform formal verification of safety. Since many years, Prover Technology has provided best-in-class tools for development and safety assessment of rail control systems based on formal verification. The company has helped clients to specify generic safety requirements and has supplied integrated tool chains that automate safety assessment of individual systems. Prover Technology can now offer an even more accessible and versatile environment hosted on high-performance hardware servers - Prover Online. By using Prover Online, it becomes easier to standardize on the use of formal verification-based safety assessment across distributed engineering teams, the work efficiency becomes improved and the IT support cost is reduced. Prover Online will initially be available under time-based licensing of the software products Prover Extractor, for relay-based system development, and Prover Certifier, for sign-off safety verification based on approved safety specifications. About Prover Technology Prover Technology pioneered the use of formal safety verification in rail control in the 1990s, and today offers complete software solutions for development of rail control systems. Prover Technology is a privately held Swedish company headquartered in Stockholm, Sweden, with wholly owned subsidiaries in France and the USA. For more information and office locations, visit Prover Technology's web site at . Prover is a registered trademark of Prover Technology AB. Other trademarks mentioned in this release are trademarks of Prover Technology AB. SOURCE: Prover Technology

Prover Technology Web Traffic

Page Views per User (PVPU)
Page Views per Million (PVPM)
Reach per Million (RPM)
CBI Logo

Prover Technology Rank

Prover Technology Frequently Asked Questions (FAQ)

  • When was Prover Technology founded?

    Prover Technology was founded in 1989.

  • What is Prover Technology's latest funding round?

    Prover Technology's latest funding round is Other Investors.

  • Who are the investors of Prover Technology?

    Investors of Prover Technology include Intel Capital, Industrifonden, Synopsys and MVI Group.

Discover the right solution for your team

The CB Insights tech market intelligence platform analyzes millions of data points on vendors, products, partnerships, and patents to help your team find their next technology solution.

Request a demo

CBI websites generally use certain cookies to enable better interactions with our sites and services. Use of these cookies, which may be stored on your device, permits us to improve and customize your experience. You can read more about your cookie choices at our privacy policy here. By continuing to use this site you are consenting to these choices.