- 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: 508
10-year publication summary
|
0
|
1
|
0
|
2
|
3
|
15
|
46
|
104
|
170
|
159
|
| 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | 2026 |
Principal owners for this class
| Owner |
All patents
|
This class
|
|---|---|---|
| International Business Machines Corporation | 62671 |
21 |
| Dell Products L.P. | 17032 |
18 |
| Bank of America Corporation | 8433 |
16 |
| Cisco Technology, Inc. | 22503 |
16 |
| Microsoft Technology Licensing, LLC | 54463 |
14 |
| Oracle International Corporation | 13575 |
12 |
| SAP SE | 10124 |
12 |
| Capital One Services, LLC. | 10013 |
12 |
| Siemens AG | 24020 |
10 |
| Amazon Technologies, Inc. | 28118 |
10 |
| Robert Bosch GmbH | 44176 |
9 |
| JPMorgan Chase Bank, National Association | 8958 |
8 |
| Citibank, N.A. | 631 |
8 |
| Google LLC | 44540 |
7 |
| salesforce.com, inc. | 6001 |
6 |
| State Farm Mutual Automobile Insurance Company | 3425 |
6 |
| Twilio, Inc. | 656 |
6 |
| Fivetran Inc. | 36 |
5 |
| Honeywell International Inc. | 12772 |
4 |
| The PNC Financial Services Group, Inc. | 620 |
4 |
| Other owners | 304 |