Runtime Verification
Runtime Verification Inc. is a startup that uses formal methods to improve the security, reliability, and correctness of computing systems across the aerospace, automotive, and blockchain industries. The company works with infrastructure builders to provide testing and verification services, serving clients in embedded systems and blockchain, including Ethereum, Cosmos, and Polkadot.
Overview
Runtime Verification Inc. is a startup that uses formal methods to improve the security, reliability, and correctness of computing systems across the aerospace, automotive, and blockchain industries. The company works with infrastructure builders to provide testing and verification services, serving clients in embedded systems and blockchain, including Ethereum, Cosmos, and Polkadot.
- Sector
- # Other
- Ecosystem
- —
Team
Team information has not been disclosed.
Funding history
1 disclosed rounds- Seed
5,300,000 USD
Related news
Market updates
No related market updates.
People updates
No related people updates.