Runtime Verification: Detailed Company Information & Corporate Profile
Contact top employees from
Runtime Verification
Summary
Runtime Verification is a private company. The business currently specializes in Computer Software area. Runtime Verification's headquarter is located at Urbana, Illinois, USA. The company has 10-50 employees. Register with SignalHire to connect with Runtime Verification employees and management.
| Runtime Verification Website | runtimeverification.com |
| Social Links |    |
| Phone Number | 1 217-649-8738 |
| Industries | |
| Runtime Verification Headquarters address | 2770 Spanish Trail Rd, Moab, Utah, 84532 US |
| Company Size | 10-50 employees |
| Specialties | Formal Verification, Formal Methods, Formal Modeling, High-Assurance Software, Safety-Critical Systems, Software Correctness, Security Auditing, Code Review, Program Analysis, Symbolic Execution, Theorem Proving, Protocol Verification, Language Semantics, Regulatory Compliance |
| DMA Code | Springfield Metropolitan Area |
| Founded | 2010 |
| Estimated Annual Revenue | $10M - 50M |
| Operating Status | Independent Company |
Competitors
Name | Founded | Type | Employees |
|---|---|---|---|
| 2019 | Privately Held | 1 - 25 | |
| 2018 | Privately Held | 25 - 100 | |
| 2012 | Privately Held | 25 - 100 | |
| 2016 | - | 100-200 |
Workforce Turnover
Length of Employment
Runtime Verification's workforce includes employees across a wide range of tenure levels.
13% have been with the company for less than 1 year7% have been with the company for 1 to 2 years13% have been with the company for 3 to 4 years20% have been with the company for 5 to 7 years20% have been with the company for 8 to 10 years27% have been with the company for more than 11 yearsContact top employees from
Runtime Verification
Paul LenChief Operating Officer
Jonathan WestConsultant
Yiyi WangFull Stack Engineer
Aellison CassimiroFormal Verification Engineer
Guy ReptaSoftware Engineer
Natalie KlausVerification Engineer
Daniel CummingVerification Engineer
Companies Similar to Runtime Verification
Runtime Verification Corporate Information: FAQ
Runtime Verification operates in the Software Development industries. More details can be found on the official website: runtimeverification.com.
Runtime Verification has offices located in Moab, US.
The headquarters of Runtime Verification are located in Moab, United States.
You can contact Runtime Verification by phone at 1 217-649-8738.
Runtime Verification currently employs 10-50 people.
Well-known competitors of Runtime Verification include Reflect (A SmartBear Company), JupiterOne, TidalScale and Aurora Labs.
Data Privacy
GDPR COMPLIANT
SignalHire complies with the General Data Protection Regulation (GDPR). SignalHire follows GDPR requirements, including but not limited to rights of data subjects to access, correct, or delete their personal information and supports the right to be forgotten.
CCPA COMPLIANT
SignalHire is CCPA-compliant and provides California residents the right to know, access, opt out, and request deletion of their personal data.
