2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jianxiong Shao, Yu Qin, Dengguo Feng
In recent years, many researches have been done to establish symbolic models of stateful protocols. Two works among them, the SAPIC tool and StatVerif tool, provide a high-level sp…