Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
Runtime Verification applies formal methods to verify blockchain protocols, virtual machines and smart contracts. Spun out of university research, it has audited consensus clients, layer-2 systems and financial contracts using mathematical specification. The company also builds the K framework for defining programming language semantics.
News
K vs. Coq as Language Verification Frameworks (Part 1 of 3)
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Read more
Report
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Read more
Report
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Read more
Report
Code smell: Boolean blindness
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Read more
Report
K Framework - An Overview
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Read more
Report
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Urbana
United States
HQ
10-50 est. staff