文献

J-GLOBAL ID：201802229148366447   整理番号：18A0564289

SMTソルバを用いた仕様に関する定理の証明とソフトウェア開発への応用

著者 (2件)： 小松秀生 (仙台高専) ,  岡本圭史 (仙台高専)
資料名： 情報処理学会全国大会講演論文集
巻： 80th  号： 1  ページ： 1.213-1.214  発行年： 2018年03月13日 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *定理証明 ,  *ソフトウェア開発 ,  応用プログラム ,  仕様 ,  形式的手法【計算機】 ,  *プログラム検証
準シソーラス用語： ソルバ ,  形式手法

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

引用文献 (8件)：

• Bertrand Meyer:”Theory of Programs”,Dec.2015
• 梅村晃広:”SATソルバ・SMTソルバの技術と応用”,特集ソフトウェア工学,pp. 24-35,Aug.2010
• Z3Prover,URL:https://github.com/Z3Prover/z3, Jun.2018アクセス
• Z3API in Python, URL:www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm, Jun.2018アクセス
• Martin Fowler . “Domain Specific Languages” Addison-Wesley Educational Publishers 2010

タイトルに関連する用語 (8件)： SMT ,  ソルバ ,  仕様 ,  定理 ,  証明 ,  ソフトウェア ,  開発 ,  応用