Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Verification of computer-executable code generated from a model

Verification of computer-executable code generated from a model

US Patent 9274928 · Granted Mar 1, 2016

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Systems and methods for performing worst-case execution time analysis of simulat2025
Methods and systems for producing an enhanced surface area biochar product2025
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
Methods and systems for producing an enhanced surface area biochar product2023
Method of elimination of poly- and perfluoroalkyl substances (PFAS) in a wastewa2023
Methods and systems for producing an enhanced surface area biochar product2022
Elimination of poly- and perfluoro alkyl substances (PFAS) in a wastewater bioso2022
Systems and methods for aggregating implicit and explicit event code of executab2022
Direct biochar cooling methods and systems2022
Direct biochar cooling methods and systems2022
Direct biochar cooling methods and systems2022