OCamlPro
State-of-the-art languages & technologies to tackle deep-tech challenges #Design #Safety #OCaml-Rust #Formal Methods
19 employees · est. 2011 · Paris, France
Runtime Verification Inc
We apply formal methods to improve the safety, reliability, and correctness of computing systems.
33 employees · est. 2010 · Chicago, United States
Runtime Verification Inc is the older company (2011 vs 2010).
Side-by-Side Comparison
| Metric | OCamlPro | Runtime Verification Inc |
|---|---|---|
| Founded | ||
| Founded | 2011 | 2010 older |
| Headquarters | ||
| Headquarters | Paris, France | Chicago, United States |
| Employees | ||
| Employees | 19 | 33 |
| Industry | ||
| Industry | Blockchain, Developer Tools | Information Technology, Privacy and Security |
| Funding Stage | ||
| Funding Stage | Private Equity | Series A |
| Total Funding | ||
| Total Funding | Not tracked yet | $6.88M |
| Funding Rounds | ||
| Funding Rounds | 1 | 3 |
| Services | ||
| Services | Not tracked yet | Formal Verification, Smart Contract Auditing, Security Audits, Fuzzing Campaigns, Security Consulting |
| Target Customers | ||
| Target Customers | Not tracked yet | Web3 Developers, Blockchain Companies, DeFi Protocols, Smart Contract Platforms, Enterprise Blockchain Solutions |
| Taxonomy | ||
| Taxonomy | Formal Methods, OCaml, Rust, Blockchain Development, Tezos, Software Verification, Programming Languages, Tooling Development, Open Source, Certification, Safety, DSLs, SMT Solvers, Computer Science, Research & Development | Formal Methods, Software Analysis, Runtime Verification, Safety Improvement, Reliability Enhancement, Correctness Assurance, Aerospace Systems, Automotive Systems, Blockchain Technology, Smart Contract Review, Blockchain Security, Code Review, Formal Modeling, Formal Verification, Security Audit |
| Website | ||
| Website | ocamlpro.com | runtimeverification.com |
About OCamlPro
OCamlPro is a French software company founded in 2011 with headquarters in Paris, Lyon, Rennes, and Toulouse. The company focuses on utilizing state-of-the-art languages such as OCaml and Rust to improve software quality through formal methods. They specialize in developer tools and blockchain techn...
About Runtime Verification Inc
Runtime Verification Inc aims to enhance the safety, reliability, and correctness of computing systems in critical sectors such as aerospace, automotive, and the blockchain. Founded in 2010 and headquartered in the United States, the company leverages formal methods for system verification, which is...
Be first to know when either one moves
Funding rounds, hiring surges, leadership changes and stack switches at OCamlPro and Runtime Verification Inc — tracked continuously, sent the day they land.
Funding, hiring, leadership and stack changes at OCamlPro and Runtime Verification I... — by email.
Frequently Asked Questions
Compare OCamlPro with someone else
Start typing a company name or domain.