fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Ishikawa / Cunha

Rigorous State-Based Methods

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

Medium: Buch
ISBN: 978-3-032-26751-1
Verlag: Springer
Erscheinungstermin: 22.05.2026
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9783032267511
  • Medium: Buch
  • ISBN: 978-3-032-26751-1
  • Verlag: Springer
  • Erscheinungstermin: 22.05.2026
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2026
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 546 g
  • Seiten: 340
  • Format (B x H x T): 155 x 235 x 20 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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