Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations" - View it on GitHub