Membership
Tour
Register
Log in
Software analysis for verifying properties of programs
Follow
Industry
CPC
G06F11/3604
This industry / category may be too specific. Please go to a parent level for more data
Parent Industries
G
PHYSICS
G06
Computing
G06F
ELECTRICAL DIGITAL DATA PROCESSING
G06F11/00
Error detection Error correction Monitoring
Current Industry
G06F11/3604
Software analysis for verifying properties of programs
Industries
Overview
Organizations
People
Information
Impact
Please log in for detailed analytics
Patents Grants
last 30 patents
Information
Patent Grant
Rule based de-duplication of software system defects
Patent number
12,265,569
Issue date
Apr 1, 2025
Bugcrowd Inc.
Michael Skelton
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Framework for providing binary release isolation for parts of a web...
Patent number
12,265,464
Issue date
Apr 1, 2025
Google LLC
Michael Leibman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification of serverless applications using fuzzing techniques
Patent number
12,254,081
Issue date
Mar 18, 2025
Black Duck Software, Inc.
David Autrey Bohannon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Dynamic virtual network access
Patent number
12,229,542
Issue date
Feb 18, 2025
International Business Machines Corporation
Aditi Chakraborty
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods and systems for multi-tool orchestration
Patent number
12,229,255
Issue date
Feb 18, 2025
CAPITAL ONE SERVICES, LLC
Adam Youngberg
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scalable code testing and benchmarking
Patent number
12,229,549
Issue date
Feb 18, 2025
GitLab Inc.
Julian Thome
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Remotely controllable monitoring agent with a dynamic set of subcom...
Patent number
12,223,364
Issue date
Feb 11, 2025
observIQ, Inc.
Daniel R. Jaglowski
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Cross-validating files to facilitate code generation
Patent number
12,197,898
Issue date
Jan 14, 2025
Red Hat, Inc.
Edoardo Vacchi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification control apparatus, system, method, and nontransitory c...
Patent number
12,189,513
Issue date
Jan 7, 2025
NEC Corporation
Yuko Takemura
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Monitoring and auditing secure software builds
Patent number
12,164,911
Issue date
Dec 10, 2024
International Business Machines Corporation
Angel Nunez Mencias
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automated distributed computing test execution
Patent number
12,164,411
Issue date
Dec 10, 2024
FUJIFILM MEDICAL SYSTEMS U.S.A., INC.
Vitor De Souza
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for optimizing dynamic user experience applications
Patent number
12,149,602
Issue date
Nov 19, 2024
STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY
John M. VanAntwerp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Machine-based security requirements assessment
Patent number
12,141,046
Issue date
Nov 12, 2024
MICRO FOCUS LLC
Alexander Hoole
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Performance bug detection and code recommendation
Patent number
12,135,628
Issue date
Nov 5, 2024
Microsoft Technology Licensing, LLC
Spandan Garg
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for scanning user interface (ui) screens for ac...
Patent number
12,130,733
Issue date
Oct 29, 2024
THE ADT SECURITY CORPORATION
Scott Wolf
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Data governance policy recommendations for application program inte...
Patent number
12,130,721
Issue date
Oct 29, 2024
International Business Machines Corporation
Manish Anand Bhide
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Mining code expressions for data analysis
Patent number
12,124,822
Issue date
Oct 22, 2024
International Business Machines Corporation
Julian Timothy Dolby
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for continuous testing and delivery of software
Patent number
12,124,358
Issue date
Oct 22, 2024
SeaLights Technologies LTD
Alon Eizenman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Rule based de-duplication of software system defects
Patent number
12,118,026
Issue date
Oct 15, 2024
Bugcrowd Inc.
Michael Skelton
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verifying integrity of controller software updates
Patent number
12,118,284
Issue date
Oct 15, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Debugging applications for delivery via an application delivery server
Patent number
12,106,084
Issue date
Oct 1, 2024
Google LLC
Yan Huang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for integrating script development and script v...
Patent number
12,099,433
Issue date
Sep 24, 2024
Citibank, N.A.
Robin Jose Kurian
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Workflows
Patent number
12,099,432
Issue date
Sep 24, 2024
Stripe, Inc.
Timothy James Fontaine
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
IoT event detector correctness verification
Patent number
12,093,160
Issue date
Sep 17, 2024
Amazon Technologies, Inc.
Vaibhav Bhushan Sharma
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems, methods, and media for proving the correctness of software...
Patent number
12,079,102
Issue date
Sep 3, 2024
The Trustees of Columbia University In the City of New York
Ronghui Gu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Storage system having multiple management controllers for detecting...
Patent number
12,066,913
Issue date
Aug 20, 2024
Hitachi, Ltd.
Madoka Fukushima
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Visualization of code execution through line-of-code behavior and r...
Patent number
12,050,848
Issue date
Jul 30, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
User feedback mechanism for software applications
Patent number
12,050,526
Issue date
Jul 30, 2024
AUTODESK, INC.
Kendra Ann Wannamaker
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Identifying software dependencies using controller code models
Patent number
12,045,551
Issue date
Jul 23, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verifying integrity of controller software updates
Patent number
12,045,550
Issue date
Jul 23, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
AUTOMATION OF WEB ELEMENT CHANGES FOR ENHANCED APPLICATION TESTING...
Publication number
20250138812
Publication date
May 1, 2025
Dell Products L.P.
Shibi Panikkar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR AUTOMATIC DETECTION, FIXING, AND MONITORING...
Publication number
20250131097
Publication date
Apr 24, 2025
Cloud Linux Software Inc.
Igor Seletskiy
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONTROL DEVICE TO VERIFY ITS OWN FIRMWARE AS WELL AS FIRMWARE OF EX...
Publication number
20250131094
Publication date
Apr 24, 2025
NUVOTON TECHNOLOGY CORPORATION
Ching-An CHEN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONTROLLING EXECUTION OF SOFTWARE APPLICATIONS BASED ON APPLICATION...
Publication number
20250123945
Publication date
Apr 17, 2025
Red Hat, Inc.
Leigh Griffin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR DETECTING A MEMORY ACCESS ERROR IN A MULTI-THREADED APPL...
Publication number
20250117309
Publication date
Apr 10, 2025
ROBERT BOSCH GmbH
Arne Hamann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD OF VERIFYING A PROGRAM CODE OF A SYNTHESIS COMPUTER PROGRAM
Publication number
20250103461
Publication date
Mar 27, 2025
HOFFMANN-LA ROCHE INC.
Marek Stanislaw Komisarski
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM, METHOD, PROGRAM, AND INFORMATION PROCESSING DEVICE FOR EFFI...
Publication number
20250094314
Publication date
Mar 20, 2025
CYGAMES, INC.
Shuichi Kurabayashi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Auto Healing of Runtime Exceptions using Intelligent Building Syste...
Publication number
20250094167
Publication date
Mar 20, 2025
Bank of America Corporation
Sandeep Verma
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROGRAMMING LANGUAGE TO INTERACT WITH LARGE LANGUAGE MODEL
Publication number
20250085934
Publication date
Mar 13, 2025
SAP SE
David Kunz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MACHINE STATE RECORDER FOR SOFTWARE DIAGNOSTICS
Publication number
20250077385
Publication date
Mar 6, 2025
Red Hat, Inc.
Adam Christopher Scerra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR OPTIMIZING DYNAMIC USER EXPERIENCE APPLICATIONS
Publication number
20250080627
Publication date
Mar 6, 2025
State Farm Mutual Automobile Insurance Company
John M. VanAntwerp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ACCESSIBILITY VERIFICATION TESTING
Publication number
20250068542
Publication date
Feb 27, 2025
International Business Machines Corporation
Yuan Jie Zhang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETECTING AND REPAIRING RELIABILITY ISSUES IN OPERATING SYSTEMS AND...
Publication number
20250045148
Publication date
Feb 6, 2025
Microsoft Technology Licensing, LLC
Rajeev Prabhu ACHARYA
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR NON-REACTIVE VALIDATION OF A FUNCTION APPLICATION
Publication number
20250036544
Publication date
Jan 30, 2025
ROBERT BOSCH GmbH
Klaus Grabmaier
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DISTRIBUTED INTELLIGENCE SYSTEMS
Publication number
20250036545
Publication date
Jan 30, 2025
ORIONSWAVE, LLC
Nils B. Lahr
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TECHNIQUES FOR MONITORING USAGE OF A DYNAMICALLY BOUND METHOD OF A...
Publication number
20250028623
Publication date
Jan 23, 2025
Sophos Limited
Tzu-yi Lin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MACHINE-BASED SECURITY REQUIREMENTS ASSESSMENT
Publication number
20250028624
Publication date
Jan 23, 2025
MICRO FOCUS LLC
ALEXANDER HOOLE
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PERFORMANCE BUG DETECTION AND CODE RECOMMENDATION
Publication number
20250021460
Publication date
Jan 16, 2025
Microsoft Technology Licensing, LLC
SPANDAN GARG
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
RULE BASED DE-DUPLICATION OF SOFTWARE SYSTEM DEFECTS
Publication number
20250021589
Publication date
Jan 16, 2025
Bugcrowd Inc.
Michael Skelton
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
OPTIMIZING PROGRAMMING CODE TESTING TO REDUCE PROCESSING LOAD
Publication number
20250021472
Publication date
Jan 16, 2025
Aurora Labs Ltd.
Stojancho Ganchev
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DEBUGGING APPLICATIONS FOR DELIVERY VIA AN APPLICATION DELIVERY SERVER
Publication number
20240427581
Publication date
Dec 26, 2024
Google LLC
Yan Huang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Non-Intrusive Interaction Method and Electronic Device
Publication number
20240427685
Publication date
Dec 26, 2024
Huawei Device Co., Ltd.
Jianfeng Wang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR INTEGRATING SCRIPT DEVELOPMENT AND SCRIPT V...
Publication number
20240419574
Publication date
Dec 19, 2024
CITIBANK, N.A.
Robin Jose KURIAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VALIDATING DYNAMIC CONTROL FLOW INTEGRITY MODELS
Publication number
20240419881
Publication date
Dec 19, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
IoT Event Detector Correctness Verification
Publication number
20240403186
Publication date
Dec 5, 2024
AMAZON TECHNOLOGIES, INC.
Vaibhav Bhushan Sharma
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
WORKFLOWS
Publication number
20240403187
Publication date
Dec 5, 2024
Stripe, Inc.
Timothy James FONTAINE
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ADVANCED SYSTEM AND METHOD FOR CONTINUOUS TESTING AND DELIVERY OF S...
Publication number
20240403199
Publication date
Dec 5, 2024
SeaLights Technologies LTD
Alon EIZENMAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR DETECTING ACCESSIBILITY FAILURES
Publication number
20240394170
Publication date
Nov 28, 2024
Capital One Services, LLC
Mark MORRISON
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
USER FEEDBACK MECHANISM FOR SOFTWARE APPLICATIONS
Publication number
20240385941
Publication date
Nov 21, 2024
Autodesk, Inc.
Kendra Ann WANNAMAKER
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Software Security Defect Prediction Methods and Devices
Publication number
20240378297
Publication date
Nov 14, 2024
SIEMENS AKTIENGESELLSCHAFT
Fei Peng
G06 - COMPUTING CALCULATING COUNTING