This final project discusses the epidemic model of chickenpox disease with vaccination (SVEIR) which has two equilibrium points, namely disease-free and endemic equilibrium points. Analysis of the global stability of the equilibrium points is carried out using the Lyapunov function which shows that the spread is determined by basic reproduction numbers. Then the simulation is performed usiā¦