This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
Abstract State Machines, Alloy, B and Z (ABZ 2024)
188 188 people viewed this event.
The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.