43 citations · 180 across the 26 of their papers we have counts for
1 paper · 1 filter
Ji Guan, Yuan Feng, Andrea Turrini +1
Model checking has been successfully applied to verification of computer hardware and software, communication systems and even biological systems. In this paper, we further push th…