Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Application of DES Theory to Verification of Software Components Aplikasi Teori DES untuk Pengesahan Komponen Perisian

Kunihiko HIRAISHI, Petr KUVCERA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Pemeriksaan model perisian biasanya digunakan pada komponen sistem besar. Penjanaan andaian ialah masalah mencari persekitaran yang paling tidak terhad di mana komponen memenuhi sifat keselamatan yang diberikan. Terdapat algoritma untuk mengira persekitaran untuk sifat yang diberikan sebagai bahasa biasa. Dalam makalah ini, kami mencadangkan satu skim umum untuk mengira andaian walaupun untuk sifat bukan biasa, dan menunjukkan keunikan andaian yang paling tidak terhad untuk mana-mana kelas bahasa. Secara amnya, berurusan dengan bahasa bukan biasa mungkin jatuh ke dalam masalah yang tidak dapat diputuskan. Kami juga menunjukkan kaedah untuk mengira andaian berdasarkan automata tolak bawah yang jelas dan abstraksi keadaan terhingganya.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.2 pp.604-610
Tarikh penerbitan
2009/02/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.E92.A.604
Jenis Manuskrip
PAPER
kategori
Sistem Serentak

Pengarang

Kata kunci

Contents [show]