Here, researchers apply robust parameter selection and verification techniques to a dynamic HIV model.