Cover Image

Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven

Format: Bachelors Thesis
Terbitan: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia , 2006
Subjects:
Logic
Symbolic and mathematical
Online Access: http://lib.ui.ac.id/file?file=digital/20180862-S27633-Ummu Maemunah.pdf
ctrlnum 20180862
fullrecord <?xml version="1.0"?> <dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><title>Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven</title><creator/><type>Thesis:Bachelors</type><place/><publisher>Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia</publisher><date>2006</date><description>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 rancangan sistem. Pada tugas akhir ini dibahas penggunaan algoritma computational tree logic model checking untuk memeriksa rancangan sistem microwave oven.</description><subject>Logic, Symbolic and mathematical</subject><subject/><identifier>20180862</identifier><source>http://lib.ui.ac.id/file?file=digital/20180862-S27633-Ummu Maemunah.pdf</source><recordID>20180862</recordID></dc>
format Thesis:Bachelors
Thesis
Thesis:Thesis
title Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
publisher Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia
publishDate 2006
topic Logic
Symbolic and mathematical
url http://lib.ui.ac.id/file?file=digital/20180862-S27633-Ummu Maemunah.pdf
contents 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 rancangan sistem. Pada tugas akhir ini dibahas penggunaan algoritma computational tree logic model checking untuk memeriksa rancangan sistem microwave oven.
id IOS18066.20180862
institution Universitas Indonesia
institution_id 51
institution_type library:university
library
library Perpustakaan Universitas Indonesia
library_id 492
collection contoh Repository Tesis (Open) Universitas Indonesia
repository_id 18066
city KOTA DEPOK
province JAWA BARAT
repoId IOS18066
first_indexed 2022-12-14T02:26:27Z
last_indexed 2022-12-14T02:26:27Z
recordtype dc
merged_child_boolean 1
_version_ 1752188193083490304
score 17.538404

Lihat Juga