形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfestaJAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し、仕様からインフラ設計を自動で生成する流れをお見せします。Read less
形式手法とalloyの紹介
8. モデル検査 • モデル検査（Model Checking）とは、形式システムをア ルゴリズム的に検証する手法である。ハードウェアや ソフトウェアの設計から導出されたモデルが形式仕様 を満足するかどうか検証する。 http://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%87%E3%83%AB%E6%A4%9C%E6%9F%BB 9. 自動定理証明 • コンピュータプログラムによって数学的定理に対する 証明を発見すること。 →プログラムの正しさを保証したり、安全なプログラ ムを書くことができる。 http://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
