A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
ProB: an automated analysis toolset for the B method