本文に飛ぶ

年 〜
年

検索結果 39 件

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)
紙図書
Springerc2013.<M17-14-557>
国立国会図書館
  • 件名...n--Congresses. Model checking Software SPIN

車載ネットワークシステムのモデル検査に関する研究

車載ネットワークシステムのモデル検査に関する研究
デジタル博士論文障害者向け資料あり
郭, 暁芸2019-03
国立国会図書館
  • 件名Model Checking Statistical Model Checking UPPAAL In-vehicle Network Sys...

形式検証ツールの並列化

形式検証ツールの並列化
デジタル博士論文障害者向け資料あり
DO, Minh Canh2022-09
国立国会図書館
  • 件名...t programs LTL model checking cryptographic protocol analys...

分割統治による誘導性と条件付安定性のモデル検査

分割統治による誘導性と条件付安定性のモデル検査
デジタル博士論文障害者向け資料あり
Yati, Phyo2022-09
国立国会図書館
  • 件名LTL model checking leads-to properties condition...

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
紙図書
Springerc2011.<M17-11-1898>
国立国会図書館
  • 件名...mverifikation. Model Checking. Abstrakte Interpretation. Fo...

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
デジタル博士論文障害者向け資料あり
Zhang, Haitao2015-09
国立国会図書館
  • 件名...stic scheduler model checking Spin bounded model checking SMT sequentialization

書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証

書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証
デジタル博士論文障害者向け資料あり
Doan, Ha Thi Thu2019-03
国立国会図書館
  • 件名control algorithm mobile robot algorithm model checking meta-programming domain-speci...

モデル検査における様々なスケジューラの取り扱いに関する研究

モデル検査における様々なスケジューラの取り扱いに関する研究
デジタル博士論文障害者向け資料あり
Tran, Hoa Nhat2018-09
国立国会図書館
  • 件名concurrent systems model checking scheduler domain-speci c lang...

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)
紙図書
Springerc2014.<M17-14-2121>
国立国会図書館
  • 件名.... Kryptologie. Model Checking. Programmverifikation. Truste...

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-2067>
国立国会図書館
  • 件名...sses. MoChArt. Model checking.

モデル検査を用いたフォールトアナリシス手法の提案

モデル検査を用いたフォールトアナリシス手法の提案
デジタル博士論文障害者向け資料あり
野口, 秀人2015-09
国立国会図書館
  • 件名fault analysis model extraction model checking system testing hypothetico-de...

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
紙図書
Springerc2010.<M17-11-2057>
国立国会図書館
  • 件名... Programmtest. Model Checking. Serviceorientierte Architekt...

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)
紙図書
Springerc2009.<M17-10-1261>
国立国会図書館
  • 件名...erifikation -- Model Checking -- Kongress --......erifikation -- Model Checking -- Kongress --......ides System -- Model Checking -- Kongress -- Macao <2009>

時間，資源の制約を持つビジネスプロセスの形式検証

時間，資源の制約を持つビジネスプロセスの形式検証
デジタル博士論文障害者向け資料あり
綿引, 健二2014-03
国立国会図書館
  • 件名business process modeling model checking timed automata temporal const...

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
紙図書
Springerc2011.<M17-11-2041>
国立国会図書館
  • 件名...tware. Testen. Model Checking. Haifa <2009> Kongress.

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)
紙図書
Springerc2010.<M17-11-7>
国立国会図書館
  • 件名...Systementwurf. Model Checking. Verifikation. Antwerpen <201...

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)
紙図書
Springerc2009.<M17-10-1652>
国立国会図書館
  • 件名...rammanalyse -- Model Checking -- Kongress --......rmale Methode. Model Checking. Programmanalyse. Programmtes...

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)
紙図書
Springerc2009.<M17-10-1656>
国立国会図書館
  • 件名...Gramado <2009> Model Checking -- Kongress --......t (Informatik) Model Checking. Programmverifikation. Sicher...

車載ネットワークシステムのモデル検査に関する研究

車載ネットワークシステムのモデル検査に関する研究
デジタル博士論文
郭, 暁芸2019-03
インターネットで読める全国の図書館
  • 件名Model Checking Statistical Model Checking UPPAAL In-vehicle Network Sys...

ソフトウェアモデル検査における活性検証

ソフトウェアモデル検査における活性検証
デジタル文書・図像類
田辺, 良則2019-03-31
全国の図書館
  • 要約等...要（英文）：Software model checking is a method to verify that so...
  • 件名model checking software liveness
  • 並列タイトル等（連結）Liveness verification in software model checking
RSS