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 | 32 (23 on RocketReach) |
| Founded | 2010 |
| Address | 2770 Spanish Trail Rd, Moab, Utah 84532, US |
| Phone | (617) 648-9100 |
| 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, Checkmarx, GrammaTech, Veracode, Codacy, Kinisi Robotics, DeepCode (The Software Revolution) by Snyk.io, Fortify Software +39 more (view full list) |
| SIC | SIC Code 73 Companies, SIC Code 737 Companies |
| NAICS | NAICS Code 511 Companies, NAICS Code 5112 Companies, NAICS Code 51 Companies |
Looking for a particular Runtime Verification Inc employee's phone or email?
The Runtime Verification Inc annual revenue was $6.3 million in 2026.
Paul Len is the COO of Runtime Verification Inc.
23 people are employed at Runtime Verification Inc.
Runtime Verification Inc is based in Moab, Utah.
The NAICS codes for Runtime Verification Inc are [511, 5112, 51].
The SIC codes for Runtime Verification Inc are [73, 737].