“…These include structural validity of models, matching the data produced to field data, and formal specifications of these models for software verification. For further information on validation of social contact network, we refer the reader to 29 , 31 , 32 , 34 , 38 , 39 , 56 . Models of within host disease progression and between host disease spread, parameters for the size of the antiviral stockpile, compliance to interventions, attack rate, price of antivirals etc.…”