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
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
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

Patents Applicationslast 30 patents

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
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

Software analysis for verifying properties of programs

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

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

IoT event detector correctness verification

Systems, methods, and media for proving the correctness of software...

Storage system having multiple management controllers for detecting...

Patents Applicationslast 30 patents

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

DETECTING AND REPAIRING RELIABILITY ISSUES IN OPERATING SYSTEMS AND...

METHOD FOR NON-REACTIVE VALIDATION OF A FUNCTION APPLICATION

DISTRIBUTED INTELLIGENCE SYSTEMS

TECHNIQUES FOR MONITORING USAGE OF A DYNAMICALLY BOUND METHOD OF A...

MACHINE-BASED SECURITY REQUIREMENTS ASSESSMENT

PERFORMANCE BUG DETECTION AND CODE RECOMMENDATION

RULE BASED DE-DUPLICATION OF SOFTWARE SYSTEM DEFECTS

OPTIMIZING PROGRAMMING CODE TESTING TO REDUCE PROCESSING LOAD

DEBUGGING APPLICATIONS FOR DELIVERY VIA AN APPLICATION DELIVERY SERVER

Non-Intrusive Interaction Method and Electronic Device

SYSTEMS AND METHODS FOR INTEGRATING SCRIPT DEVELOPMENT AND SCRIPT V...

VALIDATING DYNAMIC CONTROL FLOW INTEGRITY MODELS

IoT Event Detector Correctness Verification