6 citations · 15 across the 16 of their papers we have counts for
Showing 2017Show 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.LO2017★ 1 cited
Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach
Shichao Liu, Ying Jiang
We propose a graph-based process calculus for modeling and reasoning about wireless networks with local broadcasts. Graphs are used at syntactical level to describe the topological…