株式会社極東書店トップ ＞ 商品一覧 ＞ NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. 1st ed. 2020
商品詳細
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. 1st ed. 2020
・ISBN 978-3-030-55753-9 paper EUR 73.99
￥19,776.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Lee, Ritchie / Jha, Susmit / Mavridou, Anastasia / Giannakopoulou, Dimitra (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2020 |
| ページ数 | 442 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A01-82397＞ |
解説
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems.
*The conference was held virtually due to the COVID-19 pandemic.The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.