Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings
暫譯: 綜合形式方法：第20屆國際會議 IFM 2025，法國巴黎，2025年11月19-21日，會議論文集
Damiani, Ferruccio, Farrell, Marie
- 出版商: Springer
- 出版日期: 2025-11-16
- 售價: $3,350
- 貴賓價: 9.5 折 $3,183
- 語言: 英文
- 頁數: 510
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032107938
- ISBN-13: 9783032107930
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, IFM 2025, which took place in Paris, France, during November 19-21, 2025.
The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.
商品描述(中文翻譯)
本書為第20屆國際綜合形式方法會議（IFM 2025）的經過審核的會議論文集，該會議於2025年11月19日至21日在法國巴黎舉行。
本卷中共呈現23篇完整論文及1篇邀請論文，這些論文是從69篇投稿中仔細審核和選出的。會議專注於形式方法的各個方面，包括演繹驗證、模型檢查、可達性分析、基於模型的測試、合成、時序和隨機建模、網路物理系統、自主系統、安全性和區塊鏈。
