文献

J-GLOBAL ID：201202221164403525   整理番号：12A1149985

Event-B不変量保存証明を自動化するためのリップリングの利用

The Use of Rippling to Automate Event-B Invariant Preservation Proofs

著者 (3件)： LIN Yuhui (Univ. Edinburgh, GBR) ,  BUNDY Alan (Univ. Edinburgh, GBR) ,  GROV Gudmund (Univ. Edinburgh, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7226  ページ： 231-236  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： Event-B ,  不変量 ,  保存 ,  証明 ,  自動化 ,  リップ