Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Using intermediate representations to verify computer-executable code generated from a model

Using intermediate representations to verify computer-executable code generated from a model

US Patent 8869103 · Granted Oct 21, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Semiconductor wafer thinned by horizontal stealth lasing2025
Dicing and wafer thinning to form semiconductor dies2025
Semiconductor device with reduced stress die pick and place2025
Systems and methods for performing worst-case execution time analysis of simulat2025
Systems and methods for generating service access points for RTE services in cod2024
Systems and methods for generating service access points for RTE services in cod2023
Systems and methods for aggregating implicit and explicit event code of executab2022
Systems and methods for extracting adjustable attributes of model components2022
Identification and visualization of associations among code generated from a mod2021
External code integrations within a computing environment2020
Managing discovery and selection of service interface specifications2020
Systems and methods for aggregating implicit and explicit event code of executab2020