Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

This collection presents the latest research and advancements in the field of rigorous state-based methods, as showcased at the 9th International Conference held in Nancy, France. A robust selection of papers highlights various approaches to the application of formal methods in the development of systems, underscoring the importance of precision and reliability in complex software and hardware solutions.

Expert contributors delve into topics ranging from theoretical foundations to practical implementations, offering insights that aim to enhance system design and verification processes. The proceedings reflect a commitment to fostering innovation through collaboration among researchers, practitioners, and educators in the field.

Readers will find a wealth of knowledge beneficial for both academic study and practical application, making this compilation an essential resource for anyone interested in the future of rigorous methodologies in system development.