2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…