Software analysis for verifying properties of programs

Industry

CPC
G06F11/3604

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F11/00Error detection Error correction Monitoring

Current Industry

G06F11/3604Software analysis for verifying properties of programs

Industries

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Defect prediction operation
- Patent number 12,360,881
- Issue date Jul 15, 2025
- DevFactory Innovations FZ-LLC
- Ahmedali Durga
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rule based automation
- Patent number 12,353,315
- Issue date Jul 8, 2025
- Fair Isaac Corporation
- Sowmya Pissay Krupashankar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data transformation for acceleration of context migration in intera...
- Patent number 12,326,800
- Issue date Jun 10, 2025
- International Business Machines Corporation
- Lucas Correia Villa Real
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Application health monitoring
- Patent number 12,309,238
- Issue date May 20, 2025
- SERVICENOW, INC.
- Ganesh Parameshwar Bhat
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automation adjustment of software code from changes in repository
- Patent number 12,299,420
- Issue date May 13, 2025
- Disney Enterprises, Inc.
- Jason Alexander Cox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus of generating regular expression for parameter...
- Patent number 12,299,436
- Issue date May 13, 2025
- ALIPAY (HANGZHOU) INFORMATION TECHNOLOGY CO., LTD.
- Bingxu Chai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system of generating generic protocol handlers
- Patent number 12,301,693
- Issue date May 13, 2025
- STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY
- John M. VanAntwerp
- G06 - COMPUTING CALCULATING COUNTING
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

Patents Applicationslast 30 patents

Information Patent Application
CODE PROCESSING METHOD AND APPARATUS, AND RELATED DEVICE
- Publication number 20250231747
- Publication date Jul 17, 2025
- Huawei Technologies Co., Ltd
- Long Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PRIORITIZING CODE VIOLATIONS USING MACHINE LE...
- Publication number 20250225014
- Publication date Jul 10, 2025
- PARASOFT CORPORATION
- Leszek Jerzy Raszka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR EVALUATING AND MITIGATING CODE LEAKAGE BY LLM-BASED CODE...
- Publication number 20250225212
- Publication date Jul 10, 2025
- B.G. NEGEV TECHNOLOGIES AND APPLICATIONS LTD., at BEN-GURION UNIVERSITY
- Amit FINKMAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR OPTIMIZING FLOW ANALYSIS IN STATIC CODE ANALY...
- Publication number 20250225053
- Publication date Jul 10, 2025
- PARASOFT CORPORATION
- Leszek Jerzy Raszka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPACT ANALYSIS OF CHANGES IN THIRD-PARTY SOFTWARE COMPONENTS ON DO...
- Publication number 20250217264
- Publication date Jul 3, 2025
- Endor Labs Inc
- Henrik PLATE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System Simulation and Abnormality Detection
- Publication number 20250217263
- Publication date Jul 3, 2025
- Bank of America Corporation
- Silpa Mokkapati
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LARGE LANGUAGE MODEL CODE TRANSLATION ERROR DETECTION
- Publication number 20250217126
- Publication date Jul 3, 2025
- International Business Machines Corporation
- ANDREW C. M. HICKS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE PLATFORM HEALTH ANALYSIS
- Publication number 20250217262
- Publication date Jul 3, 2025
- Capital One Services, LLC
- Thomas D. NICHTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYSIS RESULT MANAGEMENT DEVICE, ANALYSIS RESULT MANAGEMENT METHO...
- Publication number 20250208974
- Publication date Jun 26, 2025
- DENSO CORPORATION
- Wenhung HUANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYSIS RESULT MANAGEMENT DEVICE, ANALYSIS RESULT MANAGEMENT METHO...
- Publication number 20250208973
- Publication date Jun 26, 2025
- DENSO CORPORATION
- Wenhung HUANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR ENABLING SOFTWARE CODE FOR DIFFERENT LANGUAGES
- Publication number 20250181336
- Publication date Jun 5, 2025
- SAP SE
- Michail Vasiltschenko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-CORE PARALLEL SIMULATION METHOD AND PLATFORM ARCHITECTURE FOR...
- Publication number 20250181478
- Publication date Jun 5, 2025
- Jinan Xinyu Software Technology Co., Ltd.
- Min Yi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATCH-BASED VULNERABILITY DISCOVERY USING MACHINE LEARNING
- Publication number 20250173443
- Publication date May 29, 2025
- SAP SE
- Tom GANZ
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING AND ISOLATING UNIQUE MONOLITHIC APPLICATION CODE
- Publication number 20250165224
- Publication date May 22, 2025
- International Business Machines Corporation
- KIERAN GEOGHEGAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROOT CAUSE DETECTION OF STRUGGLE EVENTS WITH DIGITAL EXPERIENCES AN...
- Publication number 20250156302
- Publication date May 15, 2025
- U.S. Bancorp, National Association
- Stephanie M. Ostrowski
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Traffic Analysis Method, Cloud Platform, and Related Apparatus
- Publication number 20250158903
- Publication date May 15, 2025
- Huawei Cloud Computing Technologies Co., Ltd.
- Haohao Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSING DEVICE AND SOFTWARE COMPONENT SELECTING METHOD
- Publication number 20250147862
- Publication date May 8, 2025
- Hitachi Astemo, Ltd.
- Takafumi SUZUKI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable Code Testing and Benchmarking
- Publication number 20250147757
- Publication date May 8, 2025
- GitLab Inc.
- Julian Thome
- G06 - COMPUTING CALCULATING COUNTING
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

Software analysis for verifying properties of programs

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Defect prediction operation

Rule based automation

Data transformation for acceleration of context migration in intera...

Application health monitoring

Automation adjustment of software code from changes in repository

Method and apparatus of generating regular expression for parameter...

Method and system of generating generic protocol handlers

Rule based de-duplication of software system defects

Framework for providing binary release isolation for parts of a web...

Verification of serverless applications using fuzzing techniques

Dynamic virtual network access

Methods and systems for multi-tool orchestration

Scalable code testing and benchmarking

Remotely controllable monitoring agent with a dynamic set of subcom...

Cross-validating files to facilitate code generation

Verification control apparatus, system, method, and nontransitory c...

Monitoring and auditing secure software builds

Automated distributed computing test execution

Method and system for optimizing dynamic user experience applications

Machine-based security requirements assessment

Performance bug detection and code recommendation

Systems and methods for scanning user interface (ui) screens for ac...

Data governance policy recommendations for application program inte...

Mining code expressions for data analysis

System and method for continuous testing and delivery of software

Rule based de-duplication of software system defects

Verifying integrity of controller software updates

Debugging applications for delivery via an application delivery server

Systems and methods for integrating script development and script v...

Workflows

Patents Applicationslast 30 patents

CODE PROCESSING METHOD AND APPARATUS, AND RELATED DEVICE

SYSTEM AND METHOD FOR PRIORITIZING CODE VIOLATIONS USING MACHINE LE...

METHOD FOR EVALUATING AND MITIGATING CODE LEAKAGE BY LLM-BASED CODE...

SYSTEM AND METHOD FOR OPTIMIZING FLOW ANALYSIS IN STATIC CODE ANALY...

IMPACT ANALYSIS OF CHANGES IN THIRD-PARTY SOFTWARE COMPONENTS ON DO...

System Simulation and Abnormality Detection

LARGE LANGUAGE MODEL CODE TRANSLATION ERROR DETECTION

SOFTWARE PLATFORM HEALTH ANALYSIS

ANALYSIS RESULT MANAGEMENT DEVICE, ANALYSIS RESULT MANAGEMENT METHO...

ANALYSIS RESULT MANAGEMENT DEVICE, ANALYSIS RESULT MANAGEMENT METHO...

SYSTEMS AND METHODS FOR ENABLING SOFTWARE CODE FOR DIFFERENT LANGUAGES

MULTI-CORE PARALLEL SIMULATION METHOD AND PLATFORM ARCHITECTURE FOR...

PATCH-BASED VULNERABILITY DISCOVERY USING MACHINE LEARNING

IDENTIFYING AND ISOLATING UNIQUE MONOLITHIC APPLICATION CODE

ROOT CAUSE DETECTION OF STRUGGLE EVENTS WITH DIGITAL EXPERIENCES AN...

Traffic Analysis Method, Cloud Platform, and Related Apparatus

PROCESSING DEVICE AND SOFTWARE COMPONENT SELECTING METHOD

Scalable Code Testing and Benchmarking

AUTOMATION OF WEB ELEMENT CHANGES FOR ENHANCED APPLICATION TESTING...

SYSTEMS AND METHODS FOR AUTOMATIC DETECTION, FIXING, AND MONITORING...

CONTROL DEVICE TO VERIFY ITS OWN FIRMWARE AS WELL AS FIRMWARE OF EX...

CONTROLLING EXECUTION OF SOFTWARE APPLICATIONS BASED ON APPLICATION...

METHOD FOR DETECTING A MEMORY ACCESS ERROR IN A MULTI-THREADED APPL...

METHOD OF VERIFYING A PROGRAM CODE OF A SYNTHESIS COMPUTER PROGRAM

SYSTEM, METHOD, PROGRAM, AND INFORMATION PROCESSING DEVICE FOR EFFI...

Auto Healing of Runtime Exceptions using Intelligent Building Syste...

PROGRAMMING LANGUAGE TO INTERACT WITH LARGE LANGUAGE MODEL

MACHINE STATE RECORDER FOR SOFTWARE DIAGNOSTICS

METHOD AND SYSTEM FOR OPTIMIZING DYNAMIC USER EXPERIENCE APPLICATIONS

ACCESSIBILITY VERIFICATION TESTING