Rigorous State-Based Methods

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

AvFuyuki Ishikawa,Alcino Cunha

Häftad, Engelska, 2026

Del 16579 i serien Lecture Notes in Computer Science

823 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2026-05-22
Mått:155 x 235 x 20 mm
Vikt:546 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:340
Förlag:Springer Nature Switzerland AG
ISBN:9783032267511

Utforska kategorier

Innehållsförteckning

.- 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.