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?
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.
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].
Top Runtime Verification Inc Employees
-
Paul Len
Chief Operating Officer at Runtime Verification Inc
Philadelphia, PA, US13 -
Yale Vinson
Senior Technical Product Manager at Runtime Verification Inc
Flower Mound, TX, US25+ -
Palina Tolmach
Chief Technology Officer at Runtime Verification Inc
United Arab Emirates1 -
Guy Repta
Software Engineer at Runtime Verification Inc
Urbana, IL, US11 -
Jonathan West
Consultant at Runtime Verification Inc
New York, NY, US1 -
Anton Savienko
Full Stack Engineer at Runtime Verification Inc
Edmonton, AB, CA13 -
Yale Vinson
Senior Technical Product Manager at Runtime Verification Inc
Flower Mound, Texas, United States23 -
Lisandra Silva
Formal Verification Engineer at Runtime Verification Inc
Burlington, Massachusetts, United States2
