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

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking Perwakilan Simbolik Jaring Petri Masa untuk Pemeriksaan Model Sempadan yang Cekap

Nao IGAWA, Tomoyuki YOKOGAWA, Sousuke AMASAKI, Masafumi KONDO, Yoichiro SATO, Kazutami ARIMOTO

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Sistem kritikal keselamatan sering dimodelkan menggunakan Time Petri Nets (TPN) untuk menganalisis kebolehpercayaan mereka dengan kaedah pengesahan formal. Kertas kerja ini mencadangkan kaedah pengesahan yang cekap untuk TPN memperkenalkan semakan model terikat berdasarkan penyelesaian kepuasan. Kaedah yang dicadangkan menyatakan kekangan masa TPN oleh Logik Perbezaan (DL) dan menggunakan penyelesai SMT untuk pengesahan. Keberkesanannya juga ditunjukkan dengan eksperimen.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E103-D No.3 pp.702-705
Tarikh penerbitan
2020/03/01
Diumumkan
2019/12/20
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2019EDL8086
Jenis Manuskrip
LETTER
kategori
Sistem Perisian

Pengarang

Nao IGAWA
  Okayama Prefectural University
Tomoyuki YOKOGAWA
  Okayama Prefectural University
Sousuke AMASAKI
  Okayama Prefectural University
Masafumi KONDO
  Kawasaki University of Medical Welfare
Yoichiro SATO
  Okayama Prefectural University
Kazutami ARIMOTO
  Okayama Prefectural University

Kata kunci

Contents [show]