Rigorous State-Based Methods: 12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026,...

— —

Fuyuki Ishikawa Alcino Cunha

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Price: 153.86 AUD
Availability: OutOfStock
ISBN: 9783032267511

12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings

Fuyuki Ishikawa, Alcino Cunha

$191.95 $153.86

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer Nature Switzerland AG
22 May 2026

Computing: general; Computer hardware; Compilers; Mathematical theory of computation; Artificial intelligence

Series: Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.

The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.

The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods.

Edited by: Fuyuki Ishikawa, Alcino Cunha
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783032267511
ISBN 10: 303226751X
Series: Lecture Notes in Computer Science
Pages: 340
Publication Date: 22 May 2026
Audience: Professional and scholarly , College/higher education , Undergraduate , Further / Higher Education
Format: Paperback
Publisher's Status: Active

.- Invited Talks .- Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving. .- Reasoning Beyond LLM: Formal Methods Agents. .- Systematic Development of Distributed Algorithms using Event-B — Experiences, reviews and prospects. .- Research Track .- Counterexample-Guided Interval Weakening. .- Fuzzing Executable ASMETA Models. .- Formal Verification of Healthcare Computer Network Architectures using Alloy and TLA+. .- Why does it fail? Explanation of verification failures. .- Security-Minded Modelling and Verification of Autonomous Satellite Docking. .- Verifying Properties of State-Based Models using Constraint Programming. .- Formal Modelling and Analysis of the ORAN O2 Interface in Alloy: Implications for NTN Deployment. .- A Method for Testing Partial-Order Reduction Theories in Alloy. .- Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines. .- A Spectabular Model of an Automotive Adaptive Exterior Light System. .- Identifying Design Flaws in a Lock-Free Task Pool with TLA+. .- Slicing Models for Equiconsistency with Alloy. .- Encoding BDI Syntax with Theories in Event-B. .- Relational Verification of Identity Disclosure Using Alloy. .- Evaluating the Practical Impact of Parallelism in Asmeta. .- Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems. .- Formal Verification of Decentralized Autonomous Organizations. .- Case Study Track .- ABZ 2026 Case Study: A Planetary Rover. .- Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover. .- Formal Modeling and Analysis of a Planetary Rover under Abnormal Scenarios with Quint. .- Journal-First Talk .- SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems.