Coronavirus Disease 2019 atau disebut jugaCovid-19 adalah penyakit yang disebabkan oleh jenis coronavirus yang kemudian diberi nama Severe Acute Respiratory Syndrome Coronavirus 2(SARS-CoV-2) atau yang lebih dikenal dengan virus corona. Covid-19 telah menjadi pandemi pada tahun 2020 sehingga banyak penelitian salah satunya memodelkan dalam pemodelan matematika. Pada penelitian ini, Covid-19 akan dimodelkan dengan model SVEIR atau Suspectible, Vaccination, Exposed, Infected,dan Recovered. Tujuan dari penelitian ini adalah untuk menjelaskan pembentukan model SVEIR Covid-19, menentukan titik ekuilibrium, menentukan bilangan reproduksi dasar dan menentukan kestabilan model SVEIR Covid-19. Hasil dari penelitian ini adalah terbentuknya model SVEIR Covid-19 dan diperoleh 2 titik ekuilibrium yaitu titik ekuilibrium bebas penyakit dan titik ekuilibrium endemik. Selanjutnya, diperoleh bilangan reproduksi dasar melalui metode Next Generation Matrix. Hasil analisis kestabilan di titik ekuilibrium bebas penyakit stabil asimtotik lokal dengan syarat bilangan reproduksi kurang dari 1, sedangkan di titik ekuilibrium endemik stabil asimtotik lokal dengan syarat bilangan reproduksi lebih dari 1 dan tingkat kematian alami lebih besar dari tingkat kontak efektif. Simulasi numerik disajikan untuk menunjukkan perbandingan penyebaran Covid-19 dengan memberikan tingkat efektivitas vaksin berbeda menggunakan metode Runge-Kutta Orde.