文献

J-GLOBAL ID：200902298541847848   整理番号：05A0122905

システム検証の科学技術 組み込みソフトウェア開発におけるモデル検査の適用事例

Scientific technology for system verification. Case study of applying model checking to embedded software development.

著者 (2件)： 水口大知 (産業技術総合研 システム検証研究セ) ,  渡辺宏 (産業技術総合研 システム検証研究セ)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 22  号： 1  ページ： 77-90  発行年： 2005年01月26日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： システム開発における不具合発見の方法としてモデル検査が注目さ...

シソーラス用語： プログラム検証 ,...
準シソーラス用語： 組み込みソフトウェア

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0122905&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (8件)：

• BERARD, B. Systems and Software Verification : Model-Checking Techniques and Tools. 2001
• CIMATTI, A. NuSMV 2 : An OpenSource Tool for Symbolic Model Checking. Proc. International Conference on Computer-Aided Verification (CAV 2002), Copenhagen, Denmark, July. 2002, 27-31
• CLARKE, E. M. Model Checking. 1999
• HOLZMANN, G. J. The Spin model checker : Primer and Reference Manual. 2003
• HUTH, M. Logic in Computer Science : Modelling and Reasoning about Systems. 2000

タイトルに関連する用語 (6件)： システム検証 ,  科学 ,  組み込みソフトウェア ,  開発 ,  モデル検査 ,  適用事例