Ditemukan 1 dokumen yang sesuai dengan query
Ummu Maemunah
"
Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah satu bagian dari temporal logic. Algoritma computational tree logic model checking digunakan untuk memeriksa terpenuhi tidaknya spesifikasi yang ditulis dengan formula computational tree logic pada ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
S27633
UI - Skripsi Membership Universitas Indonesia Library
