1. A model checking approach to countering the dynamics of infection propagation over network Open Access Author: Zhang, Can Title: A model checking approach to countering the dynamics of infection propagation over network Graduate Program: Information Sciences and Technology Keywords: Model checking File: Download Thesis_ModelChecking_CanZhang_Final.pdf Committee Members: Dinghao Wu, Thesis Advisor/Co-Advisor