Rigorous State-Based Methods

Discover the groundbreaking work of Uwe Glässer in Rigorous State-Based Methods, published by Springer International Publishing AG in 2023. This essential volume compiles the refereed proceedings from the 9th International Conference on Rigorous State-Based Methods (ABZ 2023), which took place in Nancy, France, in May 2023. Spanning 380 pages, this first edition explores advanced topics in state-based and machine-based formal methods, including Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. Ideal for researchers and practitioners alike, this book offers valuable insights into the latest developments in formal methods, making it a must-have for anyone interested in the field. Enhance your understanding of rigorous methodologies and elevate your work with this comprehensive resource.