A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN.

Hideharu Kojima, Naoto Yanai

Browse the full ISSRE paper archive.