Runtime Verification Inc. is a company that specializes in formal methods, which are mathematical techniques for specifying, modeling, and verifying code and designs.
Runtime Verification Inc. uses formal logic to specify, model, and verify code and designs. They check properties against concrete inputs (runtime verification) and symbolic inputs (formal verification), and explore all possible behaviors of the code, to give the highest possible assurance.
