- All sections
- G - Physics
- G06F - Electric digital data processing
- G06F 11/3604 - Analysis of software for verifying properties of programs
Patent holdings for IPC class G06F 11/3604
Total number of patents in this class: 392
10-year publication summary
|
0
|
1
|
0
|
2
|
3
|
15
|
43
|
94
|
147
|
80
|
| 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | 2026 |
Principal owners for this class
| Owner |
All patents
|
This class
|
|---|---|---|
| International Business Machines Corporation | 62325 |
14 |
| Cisco Technology, Inc. | 22386 |
14 |
| Dell Products L.P. | 16476 |
12 |
| SAP SE | 10124 |
10 |
| Capital One Services, LLC. | 9836 |
10 |
| Siemens AG | 24132 |
8 |
| Bank of America Corporation | 8273 |
8 |
| Oracle International Corporation | 13493 |
8 |
| Amazon Technologies, Inc. | 27873 |
8 |
| Microsoft Technology Licensing, LLC | 54289 |
8 |
| JPMorgan Chase Bank, National Association | 8683 |
8 |
| Robert Bosch GmbH | 43788 |
7 |
| Citibank, N.A. | 581 |
6 |
| Twilio, Inc. | 643 |
6 |
| salesforce.com, inc. | 5917 |
5 |
| Huawei Cloud Computing Technologies Co., Ltd. | 2323 |
5 |
| Google LLC | 44062 |
4 |
| The PNC Financial Services Group, Inc. | 589 |
4 |
| State Farm Mutual Automobile Insurance Company | 3364 |
4 |
| Hitachi Astemo, Ltd. | 6412 |
4 |
| Other owners | 239 |