| 書目名稱 | NASA Formal Methods | | 副標(biāo)題 | 11th International S | | 編輯 | Julia M. Badger,Kristin Yvonne Rozier | | 視頻video | http://file.papertrans.cn/661/660029/660029.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | .This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019...The 20 full and 8 short papers presented in this volume were carefully?reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.. | | 出版日期 | Conference proceedings 2019 | | 關(guān)鍵詞 | formal methods; model checking and theorem proving; automated static analysis; logic and verification; m | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-20652-9 | | isbn_softcover | 978-3-030-20651-2 | | isbn_ebook | 978-3-030-20652-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Nature Switzerland AG 2019 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-21 06:39
發(fā)表于 2025-3-21 16:49:43
