6 citations · 15 across the 16 of their papers we have counts for
4 papers · 2 filters
A Fully Abstract Semantics for Value-passing CCS for Trees
Shichao Liu, Thomas Ehrhard, Ying Jiang
This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a…
Model Checking : A Co-algebraic Approach
Jianhua Gao, Ying Jiang
State explosion problem is the main obstacle of model checking. In this paper, we try to solve this problem from a coalgebraic approach. We establish an effective method to prove u…
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…
Decidability, Introduction Rules and Automata
Gilles Dowek, Ying Jiang
We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automa…