Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
C. Nogueira, Sidney, Teodorov, Ciprian
- 出版商: Springer
- 出版日期: 2024-11-29
- 售價: $2,620
- 貴賓價: 9.5 折 $2,489
- 語言: 英文
- 頁數: 200
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031781155
- ISBN-13: 9783031781155
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
商品描述(中文翻譯)
本書為第27屆巴西正式方法研討會（SBMF 2024）的經過審稿的會議論文集，該會議於2024年12月4日至6日在巴西維多利亞舉行。
本書收錄的8篇完整論文和4篇短文是從18篇投稿中精心審核和選出的。這些論文依主題分為以下幾個部分：時間和符號系統中的正式分析與驗證；UML模型的正式語義與驗證；算法和邏輯中的正式驗證與證明技術；以及安全性和隱私的正式方法。
