# VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification

## TL;DR

This paper introduces VMDV, a 3D visualization tool designed to make the structure of models and verification procedures more understandable, especially in theorem proving and model checking contexts.

## Contribution

The paper presents a novel 3D visualization tool that enhances comprehension of models and verification processes in automated theorem proving and model checking.

## Key findings

- VMDV effectively visualizes proof systems.
- Improves understanding of complex verification procedures.
- Facilitates model analysis through 3D visualization.

## Abstract

The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if one can observe the structure of models and the verification procedures. A 3D visualization tool (\textsf{VMDV}) is proposed in this paper to address these problems. The facility of \vmdv is illustrated by applying it to a proof systems.