Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

Author: Yamine Ait Ameur

Publisher: Springer

Published: 2014-05-29

Total Pages: 348

ISBN-13: 3662436523

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series 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. They 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 main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

Author: Michael Butler

Publisher: Springer

Published: 2016-05-12

Total Pages: 440

ISBN-13: 3319336002

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

Author: Michael Butler

Publisher: Springer

Published: 2018-05-14

Total Pages: 438

ISBN-13: 3319912712

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

ABZ 2014: The Landing Gear Case Study
ABZ 2014: The Landing Gear Case Study

Author: Frederic Boniol

Publisher: Springer

Published: 2014-05-29

Total Pages: 161

ISBN-13: 9783319075136

DOWNLOAD EBOOK

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

ABZ 2014: The Landing Gear Case Study
ABZ 2014: The Landing Gear Case Study

Author: Frederic Boniol

Publisher: Springer

Published: 2014-05-12

Total Pages: 171

ISBN-13: 3319075128

DOWNLOAD EBOOK

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Model and Data Engineering
Model and Data Engineering

Author: Yassine Ouhammou

Publisher: Springer

Published: 2017-09-18

Total Pages: 397

ISBN-13: 3319668544

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software assessments; modeling and formal methods; data engineering; data exploration and exp loitation; modeling heterogeneity and behavior; model-based applications; and ontology-based applications.