:: Artikel Jurnal :: Kembali

Artikel Jurnal :: Kembali

Model checking pada logika temporal linear untuk microwave

oleh Yahma Wisnani (Sains Indonesia, 2003)

 Abstrak

Makalah ini memperkenalkan model checking pada logika temporal linear serta aturan selama proses verifikasi berlangsung. Tahapan ularna pada model checking adalah model, spesifikasi dan verifikasi. Tahapan model mengkonversikan sebuah rancangan menjadi sebuah model dalam bentuk struklur Kripke; tahapan spesifikasi merepresentasikan semua sifat yang harus dipenuhi oleh rancangan kebentuk bahasa logika temporal linear dan lahapan verifikasi membuktikan apakah spesifikasi telah terpenuhi sepanjang lintasan dalam model. Oven microwave digunakan sebagai conloh rancangan yang akan diverifikasi.

Checking Model of Linear Temporal Logic for Microwave Oven: This paper introduce checking model of linear temporal logic and its role within the process. The main steps of model checking are modelling, specification and verification. The modelling step convert a design into a model in Kripke structure forms; the spesification step represent all properties of the satisfy design that it should be staled by using linear temporal logic, and the verification step determine that the specification should be hold along paths in the model. Microwave oven is used as a design exampel to be verily.

 File Digital: 1

 Metadata

No. Panggil : SAIN-8-3-2003-27
Entri utama-Nama orang :
Subjek :
Penerbitan : [place of publication not identified]: Sains Indonesia, 2003
Sumber Pengatalogan :
ISSN :
Majalah/Jurnal : Sains Indonesia
Volume : Vol. 8, No. 3 (2003) 27-33
Tipe Konten :
Tipe Media :
Tipe Carrier :
Akses Elektronik :
Institusi Pemilik : Universitas Indonesia
Lokasi : Perpustakaan UI, Lantai 4
  • Ketersediaan
  • Ulasan
No. Panggil No. Barkod Ketersediaan
SAIN-8-3-2003-27 03-19-177578685 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 89861