Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Founded in 2010 by pioneers in the academic field, Runtime Verification Inc is an American startup with a global presence, applying formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain. The company works with infrastructure builders to provide testing and verification services, and has acquired numerous clients in the embedded systems (NASA, Boeing, Toyota, Denso, NSF, DARPA) and blockchain ecosystems (Ethereum, Algorand, Cosmos, Elrond, IOHK, PlatON, Polkadot and Tezos).
- The company’s mission is accessible trustworthy computing. Runtime Verification specializes in generating specification and verification based software quality assurance. One of RV's unique technologies is K, a semantic framework for design, implementation and formal reasoning. K enables language designers to formally define their language using an intuitive notation, and freely generate the implementations and analysis tools for that defined language. Currently we use K (and other tools) to provide quality assurance services to the Blockchain space, helping decentralized application developers secure their applications for users.
- Check out our current open positions at https://runtimeverification.com/careers or message us if you are interested in joining as an intern.
Advertisement
Add Comment
Please, Sign In to add comment
