研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	英語
発行・発表の年月	2012
形態種別	その他論文
標題	Using a Proof Assistant to Construct Assurance Cases - Correctness by Construction (Fast abstract)
執筆形態	共著
掲載誌名	42nd Annual IEE/IFIP International Conference on Dependable Systems and Networks
掲載区分	国外
著者・共著者	Makoto Takeyama, Hiroyuki Kido, Yoshiki Kinoahita
概要	A formulation of assurance cases in Agda language is presented, which enables Correctness by Construction approach to assurance cases. The routine consistency checking is done by Agda type checker, so that the human reviewer can concentrate on their judgment on contents. Moreover, the module system and other programming language features of Agda provides the structuring and abstraction mechanisms for assurance cases necessary for higher readability and maintainability in the large.