G06F 8/436
Semantic checking
Official title: {Semantic checking}
G06F8/436 (Semantic checking) appears on 566 US grants and 573 published applications in this corpus.
Search patents in G06F- Granted patents
- 566
- Published applications
- 573
- Assignees
- 190
- Inventors
- 1,214
- Latest grant
- 6 Oct 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1985 | 1 | 0 |
| 1986 | 0 | 0 |
| 1987 | 1 | 0 |
| 1988 | 0 | 0 |
| 1989 | 0 | 0 |
| 1990 | 1 | 0 |
| 1991 | 1 | 0 |
| 1992 | 0 | 0 |
| 1993 | 1 | 0 |
| 1994 | 1 | 0 |
| 1995 | 3 | 0 |
| 1996 | 2 | 0 |
| 1997 | 7 | 0 |
| 1998 | 11 | 0 |
| 1999 | 8 | 0 |
| 2000 | 11 | 0 |
| 2001 | 5 | 1 |
| 2002 | 6 | 8 |
| 2003 | 2 | 8 |
| 2004 | 3 | 13 |
| 2005 | 3 | 4 |
| 2006 | 7 | 17 |
| 2007 | 4 | 13 |
| 2008 | 8 | 25 |
| 2009 | 11 | 15 |
| 2010 | 15 | 9 |
| 2011 | 12 | 19 |
| 2012 | 16 | 17 |
| 2013 | 14 | 14 |
| 2014 | 28 | 38 |
| 2015 | 27 | 24 |
| 2016 | 25 | 31 |
| 2017 | 33 | 30 |
| 2018 | 21 | 26 |
| 2019 | 37 | 25 |
| 2020 | 43 | 42 |
| 2021 | 44 | 29 |
| 2022 | 29 | 58 |
| 2023 | 44 | 39 |
| 2024 | 43 | 29 |
| 2025 | 25 | 26 |
| 2026 | 13 | 13 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Subgroups
Granted patents
Recent patents
- Evaluating and remediating source code variability6 Oct 2026US 12,754,722 B2International Business Machines Corporation
- Graph analysis and manipulation29 Sep 2026US 12,748,576 B2Microsoft Technology Licensing, LLC
- Systems and methods for code analysis heat map interfaces22 Sep 2026US 12,743,273 B2smartShift Technologies, Inc.
- Ontology-based machine learning training/validation data generation service18 Aug 2026US 12,711,398 B1Amazon Technologies, Inc.
- Space- and time-efficient enumerations7 Jul 2026US 12,675,259 B2Oracle International Corporation
- Methods, controllers, and machine-readable storage media for automated commissioning of equipment8 Oct 2026US 2026/0313820 A1PassiveLogic, Inc.
- Finding coherent inferences across domains6 Aug 2026US 2026/0228439 A1X Development LLC
- Generating points-to relations using language models30 Jul 2026US 2026/0219850 A1Oracle International Corporation
- Code adaptation through deep learning16 Jul 2026US 2026/0203033 A1Microsoft Technology Licensing, LLC
- Event-driven semantic approach to modelling complex dynamic processes21 May 2026US 2026/0140702 A1Sintur Holdings Limited
Most cited
By later US patents
- Uniform object model having methods and additional features for integrating objects defined by different foreign object type systems into a single type system214US 6,134,559 AOracle Corporation · 2000
- Methods to support multimethod function overloading with compile-time type checking199US 5,488,727 AInternational Business Machines Corporation · 1996
- Controller modules155US 11,229,138 B1PassiveLogic, Inc. · 2022
- Apparatus for analyzing source code153US 4,931,928 A1990
- Method and apparatus for generating program code for world wide web service applications118US 5,966,535 AAT&T Corp. · 1999