# Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

## TL;DR

This paper presents a Prolog-based framework for fully automated verification of heap-based object-oriented programs, focusing on dynamically allocated memory issues and analyzing recent approaches.

## Contribution

It introduces a novel Prolog framework tailored for verifying dynamically allocated memory in object-oriented programs, with detailed architecture and example demonstrations.

## Key findings

- Framework enables automated verification of heap-based data
- Analyzes recent approaches and criteria for dynamic memory verification
- Provides propositions for future research and related work

## Abstract

A Prolog-based framework for fully automated verification currently under development for heap-based object-oriented data is introduced. Dynamically allocated issues are discussed, recent approaches and criteria are analysed. The architecture and its components are introduced by example. Finally, propositions to further and related work are given.