Prover Company Profile, Contacts & Intelligence

Software DevelopmentStockholm, Stockholms Län, Se69 employeesFounded 1989
2 contacts with email or phone data2 with email data
View verified contacts Compare competitors
Employees
69
Company source estimate
Reachable Contacts
2
Visible contacts with email or phone data
Contacts With Email
2
2 of 3 visible contacts
Departments
3
Mapped contact coverage

Prover Overview

Prover provides software products and services for development and V&V of railway signaling systems. Our customer base includes railway infrastructure managers and railway signaling system suppliers around the world, as well as tool developers that license our proof engine products (Prover Plug-In). Our software products Prover iLock™, Prover Certifier™ and Prover Extractor™ are used for specification, code generation, simulation, formal verification and certification of a wide range of rail control systems, including interlocking, CBTC, ERTMS, ATP and PTC. We also provide formal specification IP in the PiSPEC language, capturing standard signaling principles, for use with the Prover iLock™ tool suite. We also supply training and partner services to our customers. Find out more on our website www.prover.com under News and Expertise.

Headquarters
Stockholm, Stockholms Län, Se
Website
prover.com
Industry
Software Development
Founded
1989
NAICS
Software Publishers
Phone Number
Available in AeroLeads
Company Email
Available in AeroLeads
Formal safety verification of relay-based interlocking systems Formal safety verification of computer-based interlocking systems and Specification coding simulation and verification of Railway Signalling Systems

Prover Contact Intelligence

See which contact channels and departments are represented in the visible AeroLeads data.

2 contacts with contact data
2 with email data in the visible sample.
3 departments represented
Visible contacts with email or phone data are mapped to these departments.
10 company-domain emails
Visible contacts using Prover's company email domain.
IT
6
General
4
Executive
1

Prover People & Org Chart Preview

Sample people records show job titles and whether email or phone data is available without exposing raw contact details.

G
Graham Leigh
H
Hugo Flordal
E
M
Mats Boman
VP Business Development
E

Prover Workforce Composition

Seniority breakdown across 19 visible profiles.

Individual contributor
10
Manager
4
VP / Head
2
Senior / Lead
2
Director
1

Prover Technology & Talent

Technology-related job titles represented in the visible people data.

Engineering
4
Product / design
1

Compare Similar Companies to Prover

Explore companies in related markets and compare their industry and employee estimates.

Company Industry / match Employee estimate Page
Provar Software Development 157 View company
Systerel Software Development 108 View company
PROVER Soluções em TI e Software House Information Technology & Services 96 View company
Twindej Rail Transportation 83 View company
Grupo Prover It Services And It Consulting 63 View company
Cactus Rail AB Information Technology & Services 27 View company
Cryspen Computer And Network Security 8 View company
SIG4 Engineering Engineering Services 8 View company
Swedtrain Railroad Equipment Manufacturing 7 View company