ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Model checking and abstraction