Heuristic Methods for Security Protocols

Qurat ul Ain Nizamani, Emilio Tuosto

Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this…