Muutke küpsiste eelistusi

Rigorous State-Based Methods: 12th International Conference, ABZ 2026, Tokyo, Japan, May 1820, 2026, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 320 pages, kõrgus x laius: 235x155 mm, XX, 320 p.
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 20-Jun-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 303226751X
  • ISBN-13: 9783032267511
Teised raamatud teemal:
  • Pehme köide
  • Hind: 71,10 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 83,65 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 3-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Rigorous State-Based Methods: 12th International Conference, ABZ 2026, Tokyo, Japan, May 1820, 2026, ProceedingsSuurem pilt
  • Formaat: Paperback / softback, 320 pages, kõrgus x laius: 235x155 mm, XX, 320 p.
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 20-Jun-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 303226751X
  • ISBN-13: 9783032267511
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783032267511.html
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.
.- 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.