The supplier directory
Runtime Verification, Inc.
3 facts from 2 public sources, as of 20 August 2026.
What it makes
1 articleA Semantics-Based Verification Toolset for UAS Embedded Software
Named on a research award · SBIR and STTR award data · read 20 August 2026 · dated 1 January 2021 · the fact
Each line is an article a public source names, with that source and the day we read it. We state what a source says and nothing more: no line here is a test, a rating or a recommendation of anything.
The facts, each with its source
Contract award
National Aeronautics and Space Administration SBIR/STTR award 2020, contract 80NSSC20C0497: A Semantics-Based Verification Toolset for UAS Embedded Software
SBIR and STTR award data · retrieved 20 August 2026 · dated 1 January 2020
Contract award
National Aeronautics and Space Administration SBIR/STTR award 2021, contract 80NSSC21C0475: A Semantics-Based Verification Toolset for UAS Embedded Software
SBIR and STTR award data · retrieved 20 August 2026 · dated 1 January 2021
The company's own statement
Runtime Verification Inc: formal methods-driven security and verification since 2010. Spun out of UIUC, trusted by NASA, Toyota, and leading blockchain ecosystems.
Runtime Verification, Inc. website · retrieved 20 August 2026
Where this came from, and what you can do about it
Load Factor built this page from public records: registers, regulators' documents, government award data, securities filings and what companies publish themselves. Every fact carries the address it came from and the day we read it, so any line here can be checked against the original. We publish it so that somebody buying in aerospace and defense can find a supplier and check what is claimed about it, and a profile appears only once it holds three sourced facts from at least two different sources, which is also what decides how long it stays: below that floor it has no page.
If this is your company. A company has no privacy interest in its own trading facts and does not need one here. What it has is a correction, which goes up dated and in public, and a claim, which is how a company confirms what is on its profile and adds its own description.
If you are named here as a person, you can object to it.
That is a different thing from a company's trading facts. Write to Reuben Mann, name the page and the line, and he will answer you and tell you what can be done about that line and what cannot. The standard publishes what we correct, what we mark and what we do not remove, and it is the same rule for everybody.