VMDV：用于建模、演示和验证的3D可视化工具
VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification
摘要：
自动定理证明器的输出通常是以文本格式表示的，它们往往太重而难以理解。在模型检验设置中，如果能够观察模型的结构和验证过程，将是有帮助的。本文提出了一个三维可视化工具（\textsf{VMDV}），以解决这些问题。通过将其应用于一个证明系统，说明了\vmdv的便利性。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
