| 0 | -- | 0 | David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor. Development and Validation of a Formal Model and Prototype for an Air Traffic Control System |
| 0 | -- | 0 | Maryam Ghaffari Saadat, Clare Dixon, Michael Fisher 0001. Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE |
| 0 | -- | 0 | Gavin Lowe. Analysing a Library of Concurrency Primitives using CSP |
| 0 | -- | 0 | Qizhe Yang, Boxuan Liang, Hao Chen 0123, Guoqiang Li 0001. AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs |
| 0 | -- | 0 | Cliff B. Jones. Remembering Jean-Raymond Abrial |
| 0 | -- | 0 | Guangyao Chen, ZeYu Li, Jicheng Gu, Yining She, Chenyang Zhu 0001, Zhihao Jiang 0001. Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems |
| 0 | -- | 0 | Dominik Grzelak, Markus Hamann. Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation |
| 0 | -- | 0 | Kevin Chalmers, Jan Bækgaard Pedersen. Communicating Cooperatively Scheduled Processes: On the Unlikelihood of Implementing a Pure CSP Channel |
| 0 | -- | 0 | Jim Woodcock 0001. Jean-Raymond Abrial (1938 - 2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary |
| 0 | -- | 0 | Maurice H. ter Beek, Einar Broch Johnsen. Editorial Introducing the New Editors-in-Chief |
| 0 | -- | 0 | Chao Wang 0069, Gustavo Petri, Yi Lv, Teng Long, Xinhang Song, Zhiming Liu 0001. Decidability of Liveness on the TSO Memory Model |