並行プログラム系の解析と検証の形式化 ヘイコウ プログラムケイ ノ カイセキ ト ケンショウ ノ ケイシキカ

この論文をさがす

著者

    • 白銀, 哲也 シロガネ, テツヤ

書誌事項

タイトル

並行プログラム系の解析と検証の形式化

タイトル別名

ヘイコウ プログラムケイ ノ カイセキ ト ケンショウ ノ ケイシキカ

著者名

白銀, 哲也

著者別名

シロガネ, テツヤ

学位授与大学

筑波大学

取得学位

博士 (工学)

学位授与番号

乙第1519号

学位授与年月日

1999-03-25

注記・抄録

博士論文

本論文では並行プログラム系の仕様記述および動作検証を遂行するための形式的体系としてtense arithmeticを提案すると共に実時間システムの検証について論ずる。計算機システムが大規模化・複雑化し、またその需要が増大 ...

筑波大学博士 (工学) 学位論文・平成11年3月25日授与 (乙第1519号)

目次

  1. 目次 / (0003.jp2)
  2. 1 序論 / p1 (0006.jp2)
  3. 2 形式的体系Tense Arithmetic / p5 (0010.jp2)
  4. 2.1 有理数体上のTense / p5 (0010.jp2)
  5. 2.2 構文 / p6 (0011.jp2)
  6. 2.3 公理系 / p7 (0012.jp2)
  7. 2.4 推論規則 / p8 (0013.jp2)
  8. 2.5 定理 / p10 (0015.jp2)
  9. 2.6 意味論と健全性 / p14 (0019.jp2)
  10. 3 拍車を用いた検証 / p17 (0022.jp2)
  11. 3.1 並行プログラムの定式化 / p17 (0022.jp2)
  12. 3.2 Tense Arithmeticに基づく検証手法Automata Spur / p21 (0026.jp2)
  13. 3.3 他体系との比較 / p22 (0027.jp2)
  14. 4 並行プログラム系の検証例 / p27 (0032.jp2)
  15. 4.1 Dekkerの解 / p27 (0032.jp2)
  16. 4.2 T字路での合流問題 / p32 (0037.jp2)
  17. 4.3 自動伴奏システム / p41 (0046.jp2)
  18. 5 結論および今後の展望 / p48 (0053.jp2)
  19. 謝辞 / (0054.jp2)
  20. 参考文献 / (0055.jp2)
  21. 付録 tense arithmeticで用いるLKの推論規則 / (0058.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000185815
  • NII著者ID(NRID)
    • 8000000186098
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000350129
  • データ提供元
    • 機関リポジトリ
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ