一覧に戻る

タイトル
  • Counterexample Discovery with a Combination of Induction and Bounded Model Checking
作成者
    • Ogata, Kazuhiro
    • Nakano, Masahiro
    • Kong, Weiqiang
    • Futatsugi, Kokichi
内容注記
  • Other 4th VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnologyでの発表資料, 開催：2007年3月6日～3月7日, 開催場所：北陸先端科学技術大学院大学・知識講義棟２階中講義室
  • Other identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8299
日付
    Issued2007-03-07
言語
  • eng
資源タイプ conference output
出版タイプ VoR
資源識別子 URI http://hdl.handle.net/10119/8299
収録誌情報
  • 開始ページ1 終了ページ31
ファイル
コンテンツ更新日時 2021-04-14