G06F 11/3604
Analysis of software for verifying properties of programs
Official title: Analysis of software for verifying properties of programs (testing of software G06F11/3668)
G06F11/3604 (Analysis of software for verifying properties of programs) appears on 4,084 US grants and 4,545 published applications in this corpus.
Search patents in G06F- Granted patents
- 4,084
- Published applications
- 4,545
- Assignees
- 991
- Inventors
- 9,719
- Latest grant
- 6 Oct 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1987 | 1 | 0 |
| 1988 | 1 | 0 |
| 1989 | 1 | 0 |
| 1990 | 1 | 0 |
| 1991 | 5 | 0 |
| 1992 | 2 | 0 |
| 1993 | 2 | 0 |
| 1994 | 8 | 0 |
| 1995 | 8 | 0 |
| 1996 | 10 | 0 |
| 1997 | 13 | 0 |
| 1998 | 20 | 0 |
| 1999 | 22 | 0 |
| 2000 | 16 | 0 |
| 2001 | 20 | 3 |
| 2002 | 17 | 40 |
| 2003 | 9 | 29 |
| 2004 | 23 | 52 |
| 2005 | 19 | 67 |
| 2006 | 41 | 62 |
| 2007 | 28 | 79 |
| 2008 | 28 | 116 |
| 2009 | 48 | 132 |
| 2010 | 84 | 97 |
| 2011 | 64 | 125 |
| 2012 | 97 | 149 |
| 2013 | 188 | 162 |
| 2014 | 171 | 178 |
| 2015 | 239 | 183 |
| 2016 | 244 | 246 |
| 2017 | 240 | 244 |
| 2018 | 193 | 256 |
| 2019 | 353 | 282 |
| 2020 | 327 | 339 |
| 2021 | 334 | 296 |
| 2022 | 291 | 275 |
| 2023 | 276 | 267 |
| 2024 | 238 | 263 |
| 2025 | 208 | 333 |
| 2026 | 194 | 270 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Subgroups
Granted patents
Recent patents
- Dynamically changing input data streams processed by data stream language programs6 Oct 2026US 12,754,724 B1Cisco Technology, Inc.
- Automated cross ports from public cloud to private cloud6 Oct 2026US 12,754,735 B2Sap SE
- System and method for prioritizing code violations using machine learning and datasets of vulnerable and vanilla code snippets6 Oct 2026US 12,754,792 B2Parasoft Corporation
- Compositional code analysis6 Oct 2026US 12,754,819 B1Amazon Technologies, Inc.
- Systems and methods for implementing a mixed reality apparatus to automatically and dynamically generate output based on source code6 Oct 2026US 12,754,820 B2Bank of America Corporation
- Automated Tool Generation for Machine-Learned Model8 Oct 2026US 2026/0310426 A1Google Inc.
- System and Method for Generative Artificial Intelligence Merging, Construction, and Optimization of Application Program Interfaces8 Oct 2026US 2026/0310528 A1Bank of America Corporation
- Systems and methods for error handling and logging in web applications with nested error boundaries8 Oct 2026US 2026/0310536 A1Workday, Inc.
- Behavioral-Based Phase-of-Execution Inference Using Processing Unit Execution Events8 Oct 2026US 2026/0310575 A1Arm Limited
- Method for application performance prediction8 Oct 2026US 2026/0310576 A1Telefonaktiebolaget LM Ericsson (publ)
Most cited
By later US patents
- Method and system for allowing access to developed applications via a multi-tenant on-demand database service1,034US 7,730,478 B2Salesforce. com.Inc. · 2010
- Computer development assessment system324US 9,158,655 B2Bank of America Corporation · 2015
- Dynamic classification of sections of software317US 6,381,735 B1Microsoft Corporation · 2002
- Dynamic object validation312US 7,870,540 B2Microsoft Corporation · 2011
- Static analysis based efficient elimination of false positive297US 10,002,064 B2Tata Consultancy Services Limited · 2018