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

Efficient Forward Model Checking Algorithm for ω-Regular Properties Algoritma Semakan Model Hadapan yang Cekap untuk Sifat ω-Regular

Hiroaki IWASHITA, Tsuneo NAKATA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kami membentangkan algoritma semakan kekosongan bahasa simbolik berdasarkan traversal keadaan hadapan. Sifat pengesahan diberikan oleh satu set jejak ralat yang ditulis dalam ungkapan ω-biasa dan dimanipulasi secara eksplisit sebagai graf peralihan keadaan bukan deterministik. Nyatakan ruang model reka bentuk secara tersirat dilalui sepanjang graf eksplisit. Kaedah ini mempunyai jumlah fleksibiliti yang besar untuk mengawal traversal keadaan pada ruang harta benda. Ia harus menjadi rangka kerja pengesahan tambahan atau anggaran yang baik bagi sifat ω-biasa.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E82-A No.11 pp.2448-2454
Tarikh penerbitan
1999/11/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
kategori

Pengarang

Kata kunci

Contents [show]