ABZ 2014
Date: Jun 02, 2014 1:00 am – Jun 06, 2014 11:00 am
Location: Toulouse, France
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
The ABZ 2014 conference is organized in Toulouse
The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, 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. It builds on the success of the first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event, the success of the second ABZ 2010 conference held in Orford (Canada) where the Alloy community joined the event and the success of ABZ 2012 held in Pisa (Italy) which saw the inclusion of the VDM community. The novelty of the 4th international event is the inclusion of the TLA community in the ABZ conference series.
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems.
Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions.
The 4th edition of ABZ sees the introduction of a new session dedicated to a shared real-life case study among all the methods addressed in ABZ 2014. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. The aeronautical context of Toulouse led the organizers to define a real-life case study issued from this domain.
Conference Chairs
- Yamine AIT AMEUR, INPT-ENSEEIHT and IRIT, Toulouse,France
- Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria
For questions concerning ABZ 2014, contact Yamine AIT AMEUR or Klaus-Dieter SCHEWE.
Submitted by Anonymous
on
ASM, Alloy, B, TLA, VDM, Z
The ABZ 2014 conference is organized in Toulouse
The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, 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. It builds on the success of the first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event, the success of the second ABZ 2010 conference held in Orford (Canada) where the Alloy community joined the event and the success of ABZ 2012 held in Pisa (Italy) which saw the inclusion of the VDM community. The novelty of the 4th international event is the inclusion of the TLA community in the ABZ conference series.
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems.
Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions.
The 4th edition of ABZ sees the introduction of a new session dedicated to a shared real-life case study among all the methods addressed in ABZ 2014. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. The aeronautical context of Toulouse led the organizers to define a real-life case study issued from this domain.
Conference Chairs
- Yamine AIT AMEUR, INPT-ENSEEIHT and IRIT, Toulouse,France
- Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria
For questions concerning ABZ 2014, contact Yamine AIT AMEUR or Klaus-Dieter SCHEWE.