Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.

The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

本書是第43屆IFIP WG 6.1國際分散式物件、元件和系統形式技術研討會（FORTE 2023）的審查程序，該研討會於2023年6月在葡萄牙里斯本舉行，作為第18屆國際分散式計算技術聯合會議（DisCoTec 2023）的一部分。

本書收錄了13篇常規論文和3篇短篇論文，經過仔細審查和從26篇投稿中精心選擇。它們涵蓋了並發編程、安全性、概率、時間和其他資源以及基於模型的測試和Petri網絡等主題。