著者
梅村 晃広
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.27, no.3, pp.3_24-3_35, 2010-07-27 (Released:2010-09-27)

本解説記事では,各種フォーマルメソッドの背後で動作する証明(補助)エンジンとしても注目を集めている,SATソルバ,SMTソルバについて,その背景,基本的な概念,技術動向および応用についての動向を解説する.SATソルバは近年飛躍的な技術革新があり,これに伴ない,いろいろな分野から応用への注目が集まるようになった.また,これに合わせるようにSMTソルバという発展的な概念も発生してきた.本稿は,これらについて,特にフォーマルメソッドとの関係における位置付けを概説するものである.

言及状況

外部データベース (DOI)

はてなブックマーク (4 users, 4 posts)

[smt][sat][solver][verify][doc][japanese]
[*あとで読む] SATソルバ・SMTソルバの技術と応用

Twitter (7 users, 7 posts, 5 favorites)

SAT ソルバ・SMT ソルバの技術と応用 https://t.co/sHmeKZkYyl
@stmtk_yu https://t.co/SdOBVtDHAu
“24 特集●ソフトウェア工学 解 説 SAT ソルバ・SMT ソルバの技術と応用 梅村 晃広 本解説記事では,各種フォーマルメソッドの背後で動作する証明 (補助) エンジンとしても注目を集めている” https://t.co/TURE11Hxtb
@zhanpon @pi8027 @sinya8282 釈迦に説法かもしれませんが、SMTソルバーというものも関係してますよ。 参考: http://t.co/ovBEnvdT7N https://t.co/PfQRYwStwm http://t.co/OwKHms3WMM
SATソルバ・SMTソルバの技術と応用 / “_pdf” http://t.co/KNcHG7w6Ua
「LINQ to Z3、世界最速の定理証明器」 http://www.infoq.com/jp/news/2010/12/LINQ-Z3 SMTソルバーの話。参考 http://www.jstage.jst.go.jp/article/jssst/27/3/3_24/_pdf

収集済み URL リスト