High-assurance cybersecurity consulting for critical systems. Rooted in formal methods, our engineers work closely with teams developing software that cannot fail.
| Website | http://runtimeverification.com |
| Revenue | $6.3 million |
| Funding | $5.3 million |
| Employees | 30 (21 on RocketReach) |
| Founded | 2010 |
| Address | 2770 Spanish Trail Rd, Moab, Utah 84532, US |
| Phone | +1 217-649-8738 |
| Technologies |
JavaScript
,
HTML
,
PHP
+28 more
(view full list)
|
| Industry | Computer and Network Security, Software Development & Design, Software, Business Services |
| Competitors | Siemens, Synopsys Inc, MathWorks, Veracode, Checkmarx, GrammaTech, Codacy, Kinisi Robotics, Fortify Software, DeepCode (The Software Revolution) by Snyk.io +39 more (view full list) |
| SIC | SIC Code 737 Companies, SIC Code 73 Companies |
| NAICS | NAICS Code 51 Companies, NAICS Code 511 Companies, NAICS Code 5112 Companies |
Looking for a particular Runtime Verification Inc employee's phone or email?
Runtime Verification Inc Questions
The Runtime Verification Inc annual revenue was $6.3 million in 2026.
Paul Len is the COO of Runtime Verification Inc.
21 people are employed at Runtime Verification Inc.
Runtime Verification Inc is based in Moab, Utah.
The NAICS codes for Runtime Verification Inc are [51, 511, 5112].
The SIC codes for Runtime Verification Inc are [737, 73].
Top Runtime Verification Inc Employees
-
Paul Len
Chief Operating Officer at Runtime Verification Inc
Philadelphia, PA, US13 -
Palina Tolmach
Chief Technology Officer at Runtime Verification Inc
United Arab Emirates1 -
Yale Vinson
Senior Technical Product Manager at Runtime Verification Inc
Flower Mound, TX, US15+ -
Guy Repta
Software Engineer at Runtime Verification Inc
Urbana, IL, US11 -
Jonathan West
Consultant at Runtime Verification Inc
New York, NY, US1 -
Yale Vinson
Senior Technical Product Manager at Runtime Verification Inc
Flower Mound, Texas, United States33
Related Companies
