Menu

The supplier directory

Certified embedded software and tools

1 company in this category, each profiled from public sources with every line naming where it came from · Software and data.

Suppliers in this category

1 company

Runtime Verification, Inc.

Urbana, IL, US

runtimeverification.com

Makes: A Semantics-Based Verification Toolset for UAS Embedded Software

  • 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
  • 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
  • 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