Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Company Details
- Employees
- 33
- Founded
- -
- Address
- 333 N Green St, Chicago,illinois 60607,united States
- Phone
- 1 217-649-8738
- co****@****ion.com
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- runtimeverification.com
- Keywords
- Blockchain, Smart Contract Review, Blockchain Security, Code Review, Formal Modeling, Formal Verification, Language Design, Security Audit Report.
- HQ
- Chicago, Illinois
Runtime Verification Inc Questions
Runtime Verification Inc's helpline number is 1 217-649-8738
Runtime Verification Inc's website is runtimeverification.com
Runtime Verification Inc's LinkedIn profile is https://www.linkedin.com/company/runtime-verification
Runtime Verification Inc has
33 employees.
View email and phone details for 33
employees at Runtime Verification Inc.
Runtime Verification Inc's industry is
Software Development
Runtime Verification Inc's top competitors are
Category Labs,
Pi Squared,
Quantstamp, Inc.,
Rektoff,
Atlas Computing,
Soken,
Consensys,
Certik,
Nethermind,
Certora.
Runtime Verification Inc's support email address is contact@runtimevarification.com
Runtime Verification Inc's categories are Software Development
Runtime Verification Inc's founding year is 2010
