/tugas1-mik4259

Tugas Matakuliah Verifikasi dan Validasi

Tugas1-MIK4259

Tugas 1 Verifikasi dan Validasi MIK4259

Model checking menggunakan PROMELA dan Spin