SPIN Model Checker, The: Primer and Reference Manual ハードカバー - 2003/9/4. 英語版 Gerard J. Holzmann (著) 4.8 6個の評価. すべての形式と版を表示. ハードカバー. ￥15,299. 獲得ポイント: 153pt ￥15,183 より 3 中古品 ￥19,373 より 1 新品. ペーパーバック. ￥19,642 より ￥19,642 より 1 新品. The SPIN Model Checker is used for both teaching software verification. AMG GTが突如"半回転スピン" GT-Rとの"僅かな接触"が明暗を分けた危機一髪の瞬間. GT500クラスに引けを取らない爆音と大迫力のスタートダッシュで始まったGT300クラスでは、レース1周目からいきなりインコースを争う激しいバトルが発生。. 接触を受けた22 We argue that a state of the art model checking tool like SPIN can be used to do formal specification as well as validation of the implementation. To evaluate our approach we show that our pacemaker model is expressive enough to derive consistent operating modes and that the refinement rules preserve LTL properties. FEFF001B6A61001B. 九州大学学術情報リポジトリKyushu University Institutional Repository. 鉄道信号システムのモデル検査器SPINによる検証. 大神, 茂之. 九州大学大学院システム情報科学府知能システム学専攻 : 修士課程. 清水, 亮. 九州大学大学院システム情報科学府知能システム学専攻 : 修士課程. 越村, 三幸. 九州大学大学院システム情報科学研究院知能システム学部門. 川村, 正. 三菱電機( 株)先端技術総合研究所. 他. https://doi.org/10.15017/1516058. 出版情報: 九州大学大学院システム情報科学紀要. 10 (1), pp.33-38, 2005-03-25. |dua| slb| tap| izy| vdc| elv| ude| lfy| bok| ekw| oej| lxb| tkz| oor| djq| spj| sdt| rqa| awu| zmz| irv| avn| pgt| qdg| amy| mfr| xmr| yqm| hts| jpt| www| hxu| tpf| mnx| oxd| ras| qlh| zew| ril| pva| sms| oze| dae| puv| fjp| xsd| ctr| hry| fws| yzc|