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 9158654 · Granted Oct 13, 2015

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 node graph data storage across disparate data sources2025
Methods and systems for producing an enhanced surface area biochar product2025
Systems and methods for node graph storage for storing patient data across clini2024
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
Direct biochar cooling methods and systems2022
Direct biochar cooling methods and systems2022