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

Jian Liu, Ying Jiang, Yanyun Chen +1

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…