BT

ソフトウェア検証  に関するすべてのコンテンツ rss

関連するアーティクル ソフトウェア検証 rss

人のフォロワー CSPベースのモデル検査ツール「Process Analysis Toolkit」 作者: 藤本洋(キャッツ株式会社) フォローする 0 人のフォロワー 投稿 2011年11月27日 本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

人のフォロワー 書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介 作者: 今井健男(株式会社 東芝 研究開発センター) フォローする 0 人のフォロワー 投稿 2011年11月15日 Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

人のフォロワー イベントレポート:「ProofSummit2011」 作者: 株式会社 豆蔵 小林 健一 フォローする 0 人のフォロワー 投稿 2011年10月5日 2011年9月25日「ProofSummit2011」が開催された。本イベントでは、形式手法の一種である定理証明支援系ツールに興味を持つ技術者が集まり、Coq,Agda等のツールのチュートリアル、および応用に関する講演が行われた。

BT