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