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
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
Information Patent Grant
Dynamically changing input data streams processed by data stream la...
- Patent number 12,039,307
- Issue date Jul 16, 2024
- Splunk Inc.
- Rajesh Raman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Non-intrusive interaction method and electronic device
- Patent number 12,019,531
- Issue date Jun 25, 2024
- HUAWEI DEVICE CO., LTD.
- Jianfeng Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for providing an adaptable plugin framework for application...
- Patent number 12,014,195
- Issue date Jun 18, 2024
- COGNIZANT TECHNOLOGY SOLUTIONS INDIA PVT. LTD.
- Parasu Pillai Iyappan Velammal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer-implemented method for determining at least one quality at...
- Patent number 12,007,871
- Issue date Jun 11, 2024
- Siemens Aktiengesellschaft
- Anja Hentschel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for merging a plurality of software code chang...
- Patent number 12,001,838
- Issue date Jun 4, 2024
- HUAWEI CLOUD COMPUTING TECHNOLOGY CO., LTD.
- Zhao Wei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Setting breakpoints for source code segments enclosed by macros
- Patent number 11,983,090
- Issue date May 14, 2024
- International Business Machines Corporation
- Xiao Ling Chen
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
Information Patent Application
DETECTION DEVICE, DETECTION METHOD, AND DETECTION PROGRAM
- Publication number 20240370571
- Publication date Nov 7, 2024
- Nippon Telegraph and Telephone Corporation
- Tatsuhiro AOSHIMA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPLICATION HEALTH MONITORING
- Publication number 20240357017
- Publication date Oct 24, 2024
- ServiceNow, Inc.
- Ganesh Parameshwar Bhat
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VEHICLE CONTROL SYSTEM AND VEHICLE CONTROL METHOD
- Publication number 20240330166
- Publication date Oct 3, 2024
- Hitachi Astemo, Ltd.
- Takeshi FUKUDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICE AND METHOD FOR PROGRAM REPAIR FOR TYPE ERRORS IN DYNAMICALLY...
- Publication number 20240320084
- Publication date Sep 26, 2024
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ERROR CHECKING FOR CODE
- Publication number 20240311271
- Publication date Sep 19, 2024
- State Farm Mutual Automobile Insurance Company
- Brian Mark Fields
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR INTEGRATING SCRIPT DEVELOPMENT AND SCRIPT V...
- Publication number 20240303177
- Publication date Sep 12, 2024
- CITIBANK, N.A.
- Robin Jose KURIAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR COLLECTION, VALIDATION AND REPORTING OF DATA FOR LARGE-S...
- Publication number 20240296106
- Publication date Sep 5, 2024
- FOSSITY AUDITING SL
- Julian Coccia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR USING STATELESS SOFTWARE DATABASE DATA TO PERFORM DATA A...
- Publication number 20240275852
- Publication date Aug 15, 2024
- Rockwell Collins, Inc.
- Christopher J. Hubbs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPERATIONAL VALIDATION SYSTEM FOR SOFTWARE DEPLOYMENTS
- Publication number 20240256242
- Publication date Aug 1, 2024
- State Farm Mutual Automobile Insurance Company
- Luke Goyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPROVEMENTS TO WORKFLOWS
- Publication number 20240232046
- Publication date Jul 11, 2024
- STRIPE, INC.
- Timothy James FONTAINE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR CONTINUOUS TESTING AND DELIVERY OF SOFTWARE
- Publication number 20240232055
- Publication date Jul 11, 2024
- SeaLights Technologies LTD
- Alon EIZENMAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF SERVERLESS APPLICATIONS USING FUZZING TECHNIQUES
- Publication number 20240232329
- Publication date Jul 11, 2024
- Synopsys, Inc.
- David Autrey BOHANNON
- G06 - COMPUTING CALCULATING COUNTING

Software analysis for verifying properties of programs

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

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

Visualization of code execution through line-of-code behavior and r...

User feedback mechanism for software applications

Identifying software dependencies using controller code models

Verifying integrity of controller software updates

Dynamically changing input data streams processed by data stream la...

Non-intrusive interaction method and electronic device

System for providing an adaptable plugin framework for application...

Computer-implemented method for determining at least one quality at...

Method and apparatus for merging a plurality of software code chang...

Setting breakpoints for source code segments enclosed by macros

Patents Applicationslast 30 patents

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

WORKFLOWS

ADVANCED SYSTEM AND METHOD FOR CONTINUOUS TESTING AND DELIVERY OF S...

SYSTEMS AND METHODS FOR DETECTING ACCESSIBILITY FAILURES

USER FEEDBACK MECHANISM FOR SOFTWARE APPLICATIONS

Software Security Defect Prediction Methods and Devices

DETECTION DEVICE, DETECTION METHOD, AND DETECTION PROGRAM

APPLICATION HEALTH MONITORING

VEHICLE CONTROL SYSTEM AND VEHICLE CONTROL METHOD

DEVICE AND METHOD FOR PROGRAM REPAIR FOR TYPE ERRORS IN DYNAMICALLY...

ERROR CHECKING FOR CODE

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

METHOD FOR COLLECTION, VALIDATION AND REPORTING OF DATA FOR LARGE-S...

METHOD FOR USING STATELESS SOFTWARE DATABASE DATA TO PERFORM DATA A...

OPERATIONAL VALIDATION SYSTEM FOR SOFTWARE DEPLOYMENTS

IMPROVEMENTS TO WORKFLOWS

SYSTEM AND METHOD FOR CONTINUOUS TESTING AND DELIVERY OF SOFTWARE

VERIFICATION OF SERVERLESS APPLICATIONS USING FUZZING TECHNIQUES