2 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
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…
cs.LO2016★ 1 cited
SCTL: Towards Combining Model Checking and Proof Checking
Ying Jiang, Jian Liu, Gilles Dowek +1
Model checking and automated theorem proving are two pillars of formal methods. This paper investigates model checking from an automated theorem proving perspective, aiming at comb…