Runtime Verification Inc
Software DevelopmentView the employees at
Runtime Verification Inc-
Burak Bilge YALÇINKAYA MSc Student at Chalmers University of Technology
-
Gothenburg, Vastra Gotaland County, Sweden
-
Rising Star
David M. Full-Stack developer(Web3 | Solidity | NFT | Defi | Cross-chain)-
Chicago, Illinois, United States
-
Rising Star
Qian H. PhD, Formal Verification | DeFi Security-
Canada
-
Rising Star
Jost Berthold ...likes functional code-
Sydney, New South Wales, Australia
-
Rising Star
Lucas Martinelli Tabajara Formal Methods Researcher-
Chicago, Illinois, United States
-
Top 10%
Overview
Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
-