yr 〜
yr

Search results 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)
Paper図書
Springerc2013.<M17-14-557>
National Diet Library
  • Subject Heading...n--Congresses. Model checking Software SPIN

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

車載ネットワークシステムのモデル検査に関する研究
Digital博士論文障害者向け資料あり
郭, 暁芸2019-03
National Diet Library
  • Subject HeadingModel Checking Statistical Model Checking UPPAAL In-vehicle Network Sys...

形式検証ツールの並列化

形式検証ツールの並列化
Digital博士論文障害者向け資料あり
DO, Minh Canh2022-09
National Diet Library
  • Subject Heading...t programs LTL model checking cryptographic protocol analys...

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

分割統治による誘導性と条件付安定性のモデル検査
Digital博士論文障害者向け資料あり
Yati, Phyo2022-09
National Diet Library
  • Subject HeadingLTL 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)
Paper図書
Springerc2011.<M17-11-1898>
National Diet Library
  • Subject Heading...mverifikation. Model Checking. Abstrakte Interpretation. Fo...

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

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
Digital博士論文障害者向け資料あり
Zhang, Haitao2015-09
National Diet Library
  • Subject Heading...stic scheduler model checking Spin bounded model checking SMT sequentialization

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

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

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

モデル検査における様々なスケジューラの取り扱いに関する研究
Digital博士論文障害者向け資料あり
Tran, Hoa Nhat2018-09
National Diet Library
  • Subject Headingconcurrent 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)
Paper図書
Springerc2014.<M17-14-2121>
National Diet Library
  • Subject Heading.... 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)
Paper図書
Springerc2009.<M17-10-2067>
National Diet Library
  • Subject Heading...sses. MoChArt. Model checking.

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

モデル検査を用いたフォールトアナリシス手法の提案
Digital博士論文障害者向け資料あり
野口, 秀人2015-09
National Diet Library
  • Subject Headingfault 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)
Paper図書
Springerc2010.<M17-11-2057>
National Diet Library
  • Subject Heading... 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)
Paper図書
Springerc2009.<M17-10-1261>
National Diet Library
  • Subject Heading...erifikation -- Model Checking -- Kongress --......erifikation -- Model Checking -- Kongress --......ides System -- Model Checking -- Kongress -- Macao <2009>

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

時間，資源の制約を持つビジネスプロセスの形式検証
Digital博士論文障害者向け資料あり
綿引, 健二2014-03
National Diet Library
  • Subject Headingbusiness 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)
Paper図書
Springerc2011.<M17-11-2041>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2010.<M17-11-7>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2009.<M17-10-1652>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2009.<M17-10-1656>
National Diet Library
  • Subject Heading...Gramado <2009> Model Checking -- Kongress --......t (Informatik) Model Checking. Programmverifikation. Sicher...

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

車載ネットワークシステムのモデル検査に関する研究
Digital博士論文
郭, 暁芸2019-03
Available onlineOther Libraries in Japan
  • Subject HeadingModel Checking Statistical Model Checking UPPAAL In-vehicle Network Sys...

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

ソフトウェアモデル検査における活性検証
Digital文書・図像類
田辺, 良則2019-03-31
Other Libraries in Japan
  • Summary, etc....要（英文）：Software model checking is a method to verify that so...
  • Subject Headingmodel checking software liveness
  • Alternative TitleLiveness verification in software model checking