Jump to main content

yr 〜
yr

Search results 6

実時間システムに対する論理的仕様・検証言語の国際共同実装計画

実時間システムに対する論理的仕様・検証言語の国際共同実装計画
Paper図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2001-2003<Y151-H13558031>
National Diet Library
  • Subject Heading線形論理 / 形式仕様 / 形式検証 / 実時間システム

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論
Paper図書
岡田, 光弘, 慶應義塾大学2000-2002<Y151-H12480075>
National Diet Library
  • Subject Heading線形論理 定時間システム 形式仕様 形式検証

充実期を迎えた線形論理の進化とその応用に関する研究

充実期を迎えた線形論理の進化とその応用に関する研究
Paper図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2003-2005<Y151-H15300008>
National Diet Library
  • Subject Heading論理的手法 / 線形論理 / 形式仕様 / 形式検証 / 実時間システム / 証明論

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
Digital文書・図像類
青木, 利晃2018-05-15科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Subject Heading形式手法 形式検証 車載システム 形式仕様 定理証明
  • Note (General)本研究では，AUTOSAR OSの先進機能を形式検証する手法を提案した．AUTOS......そこで，これらの機能を実践的に形式検証する手法を提案した．保護機能の形式検証では，AUTOSAR OSの仕......るspinlockプログラムの形式検証に成功した．：We proposed methods to ...

高度な並行・並列組込みソフトウェアの検証法に関する研究

高度な並行・並列組込みソフトウェアの検証法に関する研究
Digital文書・図像類
青木, 利晃2012-06-04科学研究費補助金研究成果報告書p.1-5
Other Libraries in Japan
  • Subject Heading形式手法 形式検証 モデル検査
  • Note (General)...3702 研究分野：形式手法，形式検証，ソフトウェア工学，ソフトウェア科学 科研費の分科・細目：情...

離散ダイナミクスの流体化によるシステムの安全性検証

離散ダイナミクスの流体化によるシステムの安全性検証
Digital文書・図像類
平石, 邦彦2012-06-04科学研究費補助金研究成果報告書p.1-4
Other Libraries in Japan
  • Subject Heading形式検証 形式手法 ハイブリッドシステム 実時間システム 性能評価

Reached to the end of result.

RSS