1 paper
Jiaqi Xiu, Yongjian Li
Parameterized systems play a crucial role in the computer field, and their security is of great significance. Formal verification of parameterized protocols is especially challengi…